@Override public void update() { ITextEditor editor = getTextEditor(); boolean checked = (editor != null && editor.showsHighlightRangeOnly()); setChecked(checked); setEnabled(editor != null); }
/** * Synchronizes the appearance of the editor with what the preference store tells him. * * @param editor the text editor */ private void synchronizeWithPreference(ITextEditor editor) { if (editor == null) return; boolean showSegments= fStore.getBoolean(PreferenceConstants.EDITOR_SHOW_SEGMENTS); setChecked(showSegments); if (editor.showsHighlightRangeOnly() != showSegments) { IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); editor.showHighlightRangeOnly(showSegments); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); } }
/** * Synchronizes the appearance of the editor with what the preference store tells him. * * @param editor the text editor */ private void synchronizeWithPreference(ITextEditor editor) { if (editor == null) return; boolean showSegments= fStore.getBoolean(PreferenceConstants.EDITOR_SHOW_SEGMENTS); setChecked(showSegments); if (editor.showsHighlightRangeOnly() != showSegments) { IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); editor.showHighlightRangeOnly(showSegments); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); } }
/** * Synchronizes the appearance of the editor with what the preference store tells him. * * @param editor the text editor */ private void synchronizeWithPreference(ITextEditor editor) { if (editor == null) return; boolean showSegments= fStore.getBoolean(PreferenceConstants.EDITOR_SHOW_SEGMENTS); setChecked(showSegments); if (editor.showsHighlightRangeOnly() != showSegments) { IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); editor.showHighlightRangeOnly(showSegments); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); } }
/** * Synchronizes the appearance of the editor with what the preference store indicates * * @param editor * the text editor */ private void synchronizeWithPreference(ITextEditor editor) { if (editor == null) { return; } boolean showSegments = fStore.getBoolean(AntEditorPreferenceConstants.EDITOR_SHOW_SEGMENTS); setChecked(showSegments); if (editor.showsHighlightRangeOnly() != showSegments) { IRegion remembered = editor.getHighlightRange(); editor.resetHighlightRange(); editor.showHighlightRangeOnly(showSegments); if (remembered != null) { editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); } } }
@Override public void run() { ITextEditor editor = getTextEditor(); if (editor == null) { return; } IRegion remembered = editor.getHighlightRange(); editor.resetHighlightRange(); boolean showAll = !editor.showsHighlightRangeOnly(); setChecked(showAll); editor.showHighlightRangeOnly(showAll); if (remembered != null) { editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); } fStore.removePropertyChangeListener(this); fStore.setValue(AntEditorPreferenceConstants.EDITOR_SHOW_SEGMENTS, showAll); fStore.addPropertyChangeListener(this); }
@Override public void run() { ITextEditor editor= getTextEditor(); if (editor == null) return; IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); boolean showAll= !editor.showsHighlightRangeOnly(); setChecked(showAll); editor.showHighlightRangeOnly(showAll); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); fStore.removePropertyChangeListener(this); fStore.setValue(PreferenceConstants.EDITOR_SHOW_SEGMENTS, showAll); fStore.addPropertyChangeListener(this); }
public void run() { ITextEditor editor= getTextEditor(); if (editor == null) return; IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); boolean showAll= !editor.showsHighlightRangeOnly(); setChecked(showAll); editor.showHighlightRangeOnly(showAll); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); fStore.removePropertyChangeListener(this); fStore.setValue(PreferenceConstants.EDITOR_SHOW_SEGMENTS, showAll); fStore.addPropertyChangeListener(this); }
@Override public void run() { ITextEditor editor= getTextEditor(); if (editor == null) return; IRegion remembered= editor.getHighlightRange(); editor.resetHighlightRange(); boolean showAll= !editor.showsHighlightRangeOnly(); setChecked(showAll); editor.showHighlightRangeOnly(showAll); if (remembered != null) editor.setHighlightRange(remembered.getOffset(), remembered.getLength(), true); fStore.removePropertyChangeListener(this); fStore.setValue(PreferenceConstants.EDITOR_SHOW_SEGMENTS, showAll); fStore.addPropertyChangeListener(this); }
@Override public void update() { ITextEditor editor= getTextEditor(); boolean checked= (editor != null && editor.showsHighlightRangeOnly()); setChecked(checked); if (editor instanceof CompilationUnitEditor) { IWorkingCopyManager manager= JavaPlugin.getDefault().getWorkingCopyManager(); setEnabled(manager.getWorkingCopy(editor.getEditorInput()) != null); } else if (editor instanceof ClassFileEditor) { IEditorInput input= editor.getEditorInput(); IClassFile cf= null; if (input instanceof IClassFileEditorInput) { IClassFileEditorInput cfi= (IClassFileEditorInput)input; cf= cfi.getClassFile(); } setEnabled(cf != null && cf.exists()); } else setEnabled(editor != null); }
@Override public void update() { ITextEditor editor= getTextEditor(); boolean checked= (editor != null && editor.showsHighlightRangeOnly()); setChecked(checked); if (editor instanceof CompilationUnitEditor) { IWorkingCopyManager manager= JavaPlugin.getDefault().getWorkingCopyManager(); setEnabled(manager.getWorkingCopy(editor.getEditorInput()) != null); } else if (editor instanceof ClassFileEditor) { IEditorInput input= editor.getEditorInput(); IClassFile cf= null; if (input instanceof IClassFileEditorInput) { IClassFileEditorInput cfi= (IClassFileEditorInput)input; cf= cfi.getClassFile(); } setEnabled(cf != null && cf.exists()); } else setEnabled(editor != null); }
public void update() { ITextEditor editor= getTextEditor(); boolean checked= (editor != null && editor.showsHighlightRangeOnly()); setChecked(checked); if (editor instanceof CompilationUnitEditor) { IWorkingCopyManager manager= JavaPlugin.getDefault().getWorkingCopyManager(); setEnabled(manager.getWorkingCopy(editor.getEditorInput()) != null); } else if (editor instanceof ClassFileEditor) { IEditorInput input= editor.getEditorInput(); IClassFile cf= null; if (input instanceof IClassFileEditorInput) { IClassFileEditorInput cfi= (IClassFileEditorInput)input; cf= cfi.getClassFile(); } setEnabled(cf != null && cf.exists()); } else setEnabled(editor != null); }