@Override public void run() { IBreadcrumb breadcrumb= fEditor.getBreadcrumb(); if (breadcrumb == null) return; IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore(); store.setValue(getPreferenceKey(), true); breadcrumb.activate(); }
@Override public void run() { IBreadcrumb breadcrumb= fEditor.getBreadcrumb(); if (breadcrumb == null) return; IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore(); store.setValue(getPreferenceKey(), true); breadcrumb.activate(); }
private ISelection getEditorSelection(JavaEditor editor) { ITypeRoot element= SelectionConverter.getInput(editor); if (element == null) return null; if (editor.isBreadcrumbActive()) return editor.getBreadcrumb().getSelectionProvider().getSelection(); else { ITextSelection textSelection= (ITextSelection) editor.getSelectionProvider().getSelection(); IDocument document= JavaUI.getDocumentProvider().getDocument(editor.getEditorInput()); return new JavaTextSelection(element, document, textSelection.getOffset(), textSelection.getLength()); } }
private ISelection getEditorSelection(JavaEditor editor) { ITypeRoot element= SelectionConverter.getInput(editor); if (element == null) return null; if (editor.isBreadcrumbActive()) return editor.getBreadcrumb().getSelectionProvider().getSelection(); else { ITextSelection textSelection= (ITextSelection) editor.getSelectionProvider().getSelection(); IDocument document= JavaUI.getDocumentProvider().getDocument(editor.getEditorInput()); return new JavaTextSelection(element, document, textSelection.getOffset(), textSelection.getLength()); } }
JavaEditor javaEditor= (JavaEditor) activePart; if (javaEditor.isBreadcrumbActive()) { sel= javaEditor.getBreadcrumb().getSelectionProvider().getSelection();
JavaEditor javaEditor= (JavaEditor) activePart; if (javaEditor.isBreadcrumbActive()) { sel= javaEditor.getBreadcrumb().getSelectionProvider().getSelection();