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 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 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(); } }
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 invalidateTextPresentation() { IRegion r= null; synchronized (fHighlightedDecorationsMapLock) { if (fCurrentHighlightAnnotationRange != null) r= new Region(fCurrentHighlightAnnotationRange.getOffset(), fCurrentHighlightAnnotationRange.getLength()); } if (r == null) return; if (fSourceViewer instanceof ITextViewerExtension2) { if (DEBUG) System.out.println("AP: invalidating offset: " + r.getOffset() + ", length= " + r.getLength()); //$NON-NLS-1$ //$NON-NLS-2$ ((ITextViewerExtension2)fSourceViewer).invalidateTextPresentation(r.getOffset(), r.getLength()); } else { fSourceViewer.invalidateTextPresentation(); } }
private void invalidateTextPresentation() { IRegion r= null; synchronized (fHighlightedDecorationsMapLock) { if (fCurrentHighlightAnnotationRange != null) r= new Region(fCurrentHighlightAnnotationRange.getOffset(), fCurrentHighlightAnnotationRange.getLength()); } if (r == null) return; if (fSourceViewer instanceof ITextViewerExtension2) { if (DEBUG) System.out.println("AP: invalidating offset: " + r.getOffset() + ", length= " + r.getLength()); //$NON-NLS-1$ //$NON-NLS-2$ ((ITextViewerExtension2)fSourceViewer).invalidateTextPresentation(r.getOffset(), r.getLength()); } else { fSourceViewer.invalidateTextPresentation(); } }