/** * Selects all in the view. */ @Override public void run() { if (fControl instanceof StyledText) ((StyledText)fControl).selectAll(); else { // FIXME: see https://bugs.eclipse.org/bugs/show_bug.cgi?id=63022 // ((Browser)fControl).selectAll(); if (fSelectionProvider != null) fSelectionProvider.fireSelectionChanged(); } } }
/** * Selects all in the view. */ @Override public void run() { if (fControl instanceof StyledText) ((StyledText)fControl).selectAll(); else { // FIXME: see https://bugs.eclipse.org/bugs/show_bug.cgi?id=63022 // ((Browser)fControl).selectAll(); if (fSelectionProvider != null) fSelectionProvider.fireSelectionChanged(); } } }
/** * Selects all in the view. */ public void run() { if (fControl instanceof StyledText) ((StyledText)fControl).selectAll(); else { // FIXME: see https://bugs.eclipse.org/bugs/show_bug.cgi?id=63022 // ((Browser)fControl).selectAll(); if (fSelectionProvider != null) fSelectionProvider.fireSelectionChanged(); } } }
@Override public void widgetSelected(SelectionEvent e) { fireSelectionChanged(); } });
@Override public void widgetSelected(SelectionEvent e) { fireSelectionChanged(); } });