editor.setHighlightRange(pos+match.getOffset(), match.getLength(), false); int selectedOffset = pos+match.getOffset(); int selectedLength = match.getLength(); editor.setHighlightRange(selectedOffset, selectedLength, true); matchSelected = 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 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); } }
public void open() { if ((fFile != null) && fFile.exists()) { try { IWorkbenchPage page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(); IEditorPart editor = IDE.openEditor(page, fFile, true); // highlight range in editor if possible if ((fHighlightRange != null) && (editor instanceof ITextEditor)) { ((ITextEditor) editor).setHighlightRange(fHighlightRange.getOffset(), fHighlightRange.getLength(), true); } } catch (PartInitException pie) { Logger.log(Logger.WARNING_DEBUG, pie.getMessage(), pie); } } }
/** * 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(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(AntEditorPreferenceConstants.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); }