Package org.eclipse.ui.texteditor

Examples of org.eclipse.ui.texteditor.SourceViewerDecorationSupport.install()


    viewer.doOperation(ProjectionViewer.TOGGLE);
   
    annotationModel = viewer.getProjectionAnnotationModel();
   
    SourceViewerDecorationSupport support = getSourceViewerDecorationSupport(viewer);
    support.install(JsonEditorPlugin.getJsonPreferenceStore());
  }

  @Override
  protected ISourceViewer createSourceViewer(Composite parent,
      IVerticalRuler ruler, int styles) {
View Full Code Here


    .getAnnotationPreferences();
    Iterator e = annotationPreferences.iterator();
    while (e.hasNext())
      support.setAnnotationPreference((AnnotationPreference) e.next());

    support.install(EditorsUI.getPreferenceStore());
    return support;
  }

  /**
   * Create margin painter and add to source viewer
View Full Code Here

    if (showCursorLine) {
      support.setCursorLinePainterPreferenceKeys(
          AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE,
          AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR);
    }
    support.install(EditorsUI.getPreferenceStore());
    if (ruler instanceof CompositeRuler) {
      lineNumberRuler = new LineNumberRulerColumn();
      ((CompositeRuler) ruler).addDecorator(0, lineNumberRuler);
    }
    getTextWidget().setAlwaysShowScrollBars(false);
View Full Code Here

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.