/** * Invalidate text presentation of all positions. */ private void invalidateTextPresentation() { for (int i= 0, n= fPositions.size(); i < n; i++) { Position position= (Position) fPositions.get(i); fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
/** * Invalidate text presentation of all positions. */ private void invalidateTextPresentation() { for (int i= 0, n= fPositions.size(); i < n; i++) { Position position= fPositions.get(i); fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
/** * Invalidate text presentation of all positions. */ private void invalidateTextPresentation() { for (int i= 0, n= fPositions.size(); i < n; i++) { Position position= fPositions.get(i); fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
/** * Invalidate text presentation of positions with the given highlighting. * * @param highlighting The highlighting */ public void highlightingStyleChanged(Highlighting highlighting) { for (int i= 0, n= fPositions.size(); i < n; i++) { HighlightedPosition position= (HighlightedPosition) fPositions.get(i); if (position.getHighlighting() == highlighting) fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
/** * Invalidate text presentation of positions with the given highlighting. * * @param highlighting The highlighting */ public void highlightingStyleChanged(Highlighting highlighting) { for (int i= 0, n= fPositions.size(); i < n; i++) { HighlightedPosition position= (HighlightedPosition) fPositions.get(i); if (position.getHighlighting() == highlighting) fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
/** * Invalidate text presentation of positions with the given highlighting. * * @param highlighting The highlighting */ public void highlightingStyleChanged(Highlighting highlighting) { for (int i= 0, n= fPositions.size(); i < n; i++) { HighlightedPosition position= (HighlightedPosition) fPositions.get(i); if (position.getHighlighting() == highlighting) fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength()); } }
public void performDefaults() { super.performDefaults(); handleSyntaxColorListSelection(); uninstallSemanticHighlighting(); installSemanticHighlighting(); fPreviewViewer.invalidateTextPresentation(); }
@Override public void performDefaults() { super.performDefaults(); handleSyntaxColorListSelection(); uninstallSemanticHighlighting(); installSemanticHighlighting(); fPreviewViewer.invalidateTextPresentation(); }
@Override public void performDefaults() { super.performDefaults(); handleSyntaxColorListSelection(); uninstallSemanticHighlighting(); installSemanticHighlighting(); fPreviewViewer.invalidateTextPresentation(); }
fSourceViewer.changeTextPresentation(textPresentation, false); else fSourceViewer.invalidateTextPresentation();
fSourceViewer.changeTextPresentation(textPresentation, false); else fSourceViewer.invalidateTextPresentation();
fSourceViewer.changeTextPresentation(textPresentation, false); else fSourceViewer.invalidateTextPresentation();