public void showInvisibleCharacters(boolean enable) { if (enable) { if (fWhitespaceCharacterPainter == null) { fWhitespaceCharacterPainter= new WhitespaceCharacterPainter(fSourceViewer); fSourceViewer.addPainter(fWhitespaceCharacterPainter); } } else { fSourceViewer.removePainter(fWhitespaceCharacterPainter); fWhitespaceCharacterPainter= null; } }
public void showInvisibleCharacters(boolean enable) { if (enable) { if (fWhitespaceCharacterPainter == null) { fWhitespaceCharacterPainter= new WhitespaceCharacterPainter(fSourceViewer); fSourceViewer.addPainter(fWhitespaceCharacterPainter); } } else { fSourceViewer.removePainter(fWhitespaceCharacterPainter); fWhitespaceCharacterPainter= null; } } }
public void showInvisibleCharacters(boolean enable) { if (enable) { if (fWhitespaceCharacterPainter == null) { fWhitespaceCharacterPainter= new WhitespaceCharacterPainter(fSourceViewer); fSourceViewer.addPainter(fWhitespaceCharacterPainter); } } else { fSourceViewer.removePainter(fWhitespaceCharacterPainter); fWhitespaceCharacterPainter= null; } update(); } }
private void showWhitespace() { if (isWhitespaceShowing) return; try { Map<MergeSourceViewer, WhitespaceCharacterPainter> painters = getPainters(); MergeSourceViewer[] viewers = getViewers(); for (int i = 0; i < viewers.length; i++) { if (fNeedsPainters[i]) { MergeSourceViewer viewer = viewers[i]; SourceViewer sourceViewer = viewer.getSourceViewer(); WhitespaceCharacterPainter painter; if (fStore != null) { painter = new WhitespaceCharacterPainter(sourceViewer, fShowLeadingSpaces, fShowEnclosedSpaces, fShowTrailingSpaces, fShowLeadingIdeographicSpaces, fShowEnclosedIdeographicSpaces, fShowTrailingIdeographicSpace, fShowLeadingTabs, fShowEnclosedTabs, fShowTrailingTabs, fShowCarriageReturn, fShowLineFeed, fAlpha); } else { painter = new WhitespaceCharacterPainter(sourceViewer); } sourceViewer.addPainter(painter); painters.put(viewer, painter); } } } finally { isWhitespaceShowing = true; } }
/** * Create margin painter and add to source viewer */ protected void createMarginPainter() { MarginPainter marginPainter = new MarginPainter(sourceViewer); marginPainter.setMarginRulerColumn(MAX_LINE_WIDTH); marginPainter.setMarginRulerColor(Display.getDefault().getSystemColor( SWT.COLOR_GRAY)); sourceViewer.addPainter(marginPainter); }
@Override protected ISourceViewer createSourceViewer(Composite parent, org.eclipse.jface.text.source.IVerticalRuler ruler, int styles) { SourceViewer sourceViewer = new SourceViewer(parent, ruler, styles); sourceViewer.setEditable(false); mPainter = new AnnotationPainter(sourceViewer, new AnnotationAccess()); sourceViewer.addPainter(mPainter); return sourceViewer; }
private void toggleWhitespaceCharacterPainter() { if (fSourceViewer == null || fSourceViewer.getTextWidget() == null) { return; } IPreferenceStore store = EditorsUI.getPreferenceStore(); boolean checked = store.getBoolean(AbstractTextEditor.PREFERENCE_SHOW_WHITESPACE_CHARACTERS); if (checked) { fWhiteSpacePainter = new WhitespaceCharacterPainter(fSourceViewer); fSourceViewer.addPainter(fWhiteSpacePainter); } else { if (fWhiteSpacePainter != null) { fSourceViewer.removePainter(fWhiteSpacePainter); fWhiteSpacePainter = null; } } }
final RGB rgb= PreferenceConverter.getColor(fPreferenceStore, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR); fMarginPainter.setMarginRulerColor(tools.getColorManager().getColor(rgb)); fSourceViewer.addPainter(fMarginPainter);
final RGB rgb= PreferenceConverter.getColor(fPreferenceStore, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR); fMarginPainter.setMarginRulerColor(tools.getColorManager().getColor(rgb)); fSourceViewer.addPainter(fMarginPainter);
final RGB rgb= PreferenceConverter.getColor(fPreferenceStore, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR); fMarginPainter.setMarginRulerColor(tools.getColorManager().getColor(rgb)); fSourceViewer.addPainter(fMarginPainter);