@Override public void setScope(IRegion scope) { if (fRange != null) fRange.uninstall(); if (scope == null) { fRange= null; return; } fRange= new FindReplaceRange(scope); fRange.setHighlightColor(fScopeHighlightColor); fRange.install(); }
@Override public void endSession() { if (fRange != null) { fRange.uninstall(); fRange= null; } }
@Override public void endSession() { if (fRange != null) { fRange.uninstall(); fRange= null; } }
@Override public void setScope(IRegion scope) { if (fRange != null) fRange.uninstall(); if (scope == null) { fRange= null; return; } fRange= new FindReplaceRange(scope); fRange.setHighlightColor(fScopeHighlightColor); fRange.install(); }