private void repairPresentation(ITextViewer viewer) { if (fRememberedStyleRange != null) { if (viewer instanceof ITextViewerExtension2) { // attempts to reduce the redraw area ITextViewerExtension2 viewer2= (ITextViewerExtension2)viewer; viewer2.invalidateTextPresentation(fRememberedStyleRange.start, fRememberedStyleRange.length); } else viewer.invalidateTextPresentation(); } }
private void repairPresentation(ITextViewer viewer) { if (fRememberedStyleRange != null) { if (viewer instanceof ITextViewerExtension2) { // attempts to reduce the redraw area ITextViewerExtension2 viewer2= (ITextViewerExtension2)viewer; viewer2.invalidateTextPresentation(fRememberedStyleRange.start, fRememberedStyleRange.length); } else viewer.invalidateTextPresentation(); } }
private void handlePropertyChange(PropertyChangeEvent event) { if (fSourceViewerConfiguration != null) { for (Iterator<Entry<SourceViewer, JavaSourceViewerConfiguration>> iterator= fSourceViewerConfiguration.entrySet().iterator(); iterator.hasNext();) { Entry<SourceViewer, JavaSourceViewerConfiguration> entry= iterator.next(); JavaSourceViewerConfiguration configuration= entry.getValue(); if (configuration.affectsTextPresentation(event)) { configuration.handlePropertyChangeEvent(event); ITextViewer viewer= entry.getKey(); viewer.invalidateTextPresentation(); } } } }
private void handlePropertyChange(PropertyChangeEvent event) { if (fSourceViewerConfiguration != null) { for (Iterator<Entry<SourceViewer, JavaSourceViewerConfiguration>> iterator= fSourceViewerConfiguration.entrySet().iterator(); iterator.hasNext();) { Entry<SourceViewer, JavaSourceViewerConfiguration> entry= iterator.next(); JavaSourceViewerConfiguration configuration= entry.getValue(); if (configuration.affectsTextPresentation(event)) { configuration.handlePropertyChangeEvent(event); ITextViewer viewer= entry.getKey(); viewer.invalidateTextPresentation(); } } } }
private void repairRepresentation() { if (fActiveRegion == null) return; int offset= fActiveRegion.getOffset(); int length= fActiveRegion.getLength(); fActiveRegion= null; // Invalidate ==> remove applied text presentation if (fTextViewer instanceof ITextViewerExtension2) ((ITextViewerExtension2) fTextViewer).invalidateTextPresentation(offset, length); else fTextViewer.invalidateTextPresentation(); }
private void repairRepresentation() { if (fActiveRegion == null) return; int offset= fActiveRegion.getOffset(); int length= fActiveRegion.getLength(); fActiveRegion= null; // Invalidate ==> remove applied text presentation if (fTextViewer instanceof ITextViewerExtension2) ((ITextViewerExtension2) fTextViewer).invalidateTextPresentation(offset, length); else fTextViewer.invalidateTextPresentation(); }
private void highlightRegion(IRegion region) { if (region.equals(fActiveRegion)) return; repairRepresentation(); StyledText text= fTextViewer.getTextWidget(); if (text == null || text.isDisposed()) return; // Invalidate region ==> apply text presentation fActiveRegion= region; if (fTextViewer instanceof ITextViewerExtension2) ((ITextViewerExtension2)fTextViewer).invalidateTextPresentation(region.getOffset(), region.getLength()); else fTextViewer.invalidateTextPresentation(); }
private void highlightRegion(IRegion region) { if (region.equals(fActiveRegion)) return; repairRepresentation(); StyledText text= fTextViewer.getTextWidget(); if (text == null || text.isDisposed()) return; // Invalidate region ==> apply text presentation fActiveRegion= region; if (fTextViewer instanceof ITextViewerExtension2) ((ITextViewerExtension2)fTextViewer).invalidateTextPresentation(region.getOffset(), region.getLength()); else fTextViewer.invalidateTextPresentation(); }
private void repairPresentation(ITextViewer viewer) { if (fRememberedStyleRange != null) { if (viewer instanceof ITextViewerExtension2) { // attempts to reduce the redraw area ITextViewerExtension2 viewer2= (ITextViewerExtension2) viewer; if (viewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; IRegion modelRange= extension.widgetRange2ModelRange(new Region(fRememberedStyleRange.start, fRememberedStyleRange.length)); if (modelRange != null) viewer2.invalidateTextPresentation(modelRange.getOffset(), modelRange.getLength()); } else { viewer2.invalidateTextPresentation(fRememberedStyleRange.start + viewer.getVisibleRegion().getOffset(), fRememberedStyleRange.length); } } else viewer.invalidateTextPresentation(); } }