Examples of 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.

Examples of org.eclipse.jface.text.MarginPainter

   * 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

Examples of org.eclipse.jface.text.MarginPainter

   * 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

Examples of org.eclipse.jface.text.MarginPainter


  /**
   * 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

Examples of org.eclipse.jface.text.MarginPainter

   * 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

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.