Examples of org.eclipse.jface.text.MarginPainter

org.eclipse.jface.text.MarginPainter
Paints a vertical line (margin line) after a given column respecting the text viewer's font.
Clients usually instantiate and configure objects of this class.

This class is not intended to be subclassed.
@since 2.1 @noextend This class is not intended to be subclassed by clients.

   * Shows the margin.
   */
  private void showMargin() {
    if (fMarginPainter == null) {
      if (fSourceViewer instanceof ITextViewerExtension2) {
        fMarginPainter= new MarginPainter(fSourceViewer);
        fMarginPainter.setMarginRulerColor(getColor(fMarginPainterColorKey));
        if (fPreferenceStore != null)
          fMarginPainter.setMarginRulerColumn(fPreferenceStore.getInt(fMarginPainterColumnKey));
        ITextViewerExtension2 extension= (ITextViewerExtension2) fSourceViewer;
        extension.addPainter(fMarginPainter);

View Full Code Here

   * Shows the margin.
   */
  private void showMargin() {
    if (fMarginPainter == null) {
      if (fSourceViewer instanceof ITextViewerExtension2) {
        fMarginPainter= new MarginPainter(fSourceViewer);
        fMarginPainter.setMarginRulerColor(getColor(fMarginPainterColorKey));
        if (fPreferenceStore != null)
          fMarginPainter.setMarginRulerColumn(fPreferenceStore.getInt(fMarginPainterColumnKey));
        ITextViewerExtension2 extension= (ITextViewerExtension2) fSourceViewer;
        extension.addPainter(fMarginPainter);

View Full Code Here


  /**
   * 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);
  }

View Full Code Here

   * Shows the margin.
   */  
  private void showMargin() {
    if (fMarginPainter == null) {
      if (fSourceViewer instanceof ITextViewerExtension2) {
        fMarginPainter= new MarginPainter(fSourceViewer);
        fMarginPainter.setMarginRulerColor(getColor(fMarginPainterColorKey));
        if (fPreferenceStore != null) {          
          fMarginPainter.setMarginRulerColumn(fPreferenceStore.getInt(fMarginPainterColumnKey));
          fMarginPainter.setMarginRulerColor(getColor(fMarginPainterColorKey));      
        }

View Full Code Here

TOP

Related Classes of org.eclipse.jface.text.MarginPainter

org.cfeclipse.cfml.editors.decoration.DecorationSupport

org.eclipse.egit.ui.internal.dialogs.SpellcheckableMessageArea

org.eclipse.swt.graphics.GC

org.eclipse.swt.graphics.Rectangle

org.eclipse.ui.texteditor.SourceViewerDecorationSupport

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.