List of redrawRange() Examples

Examples of redrawRange()

org.eclipse.swt.custom.StyledText.redrawRange()
Redraws the specified text range. @param start offset of the first character to redraw @param length number of characters to redraw @param clearBackground true if the background should be cleared aspart of the redraw operation. If true, the entire redraw range will be cleared before anything is redrawn. If the redraw range includes the last character of a line (i.e., the entire line is redrawn) the line is cleared all the way to the right border of the widget. The redraw operation will be faster and smoother if clearBackground is set to false. Whether or not the flag can be set to false depends on the type of change that has taken place. If font styles or background colors for the redraw range have changed, clearBackground should be set to true. If only foreground colors have changed for the redraw range, clearBackground can be set to false. @exception SWTException
- ERROR_WIDGET_DISPOSED - if the receiver has been disposed
- ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver
@exception IllegalArgumentException
- ERROR_INVALID_RANGE when start and/or end are outside the widget content

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

       return;        
    }
    
    StyledText text= fViewer.getTextWidget();
    if (text != null && !text.isDisposed())  
      text.redrawRange(widgetRange.getOffset(), widgetRange.getLength(), true);
  }


  private void selectRegion() {
    
    IRegion widgetRange= asWidgetRange(fFramePosition);

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

        offset -= viewer.getVisibleRegion().getOffset();
      }
      try {
        StyledText text= viewer.getTextWidget();


        text.redrawRange(offset, length, false);
      } catch (IllegalArgumentException x) {
//        JavaPlugin.log(x);
      }
    }
  }

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

      
    } else {
      offset= region.getOffset() - viewer.getVisibleRegion().getOffset();
      length= region.getLength();
    }
    text.redrawRange(offset, length, false);
    
    // Invalidate region ==> apply text presentation
    activeRegion = region;
    if (viewer instanceof ITextViewerExtension2)
      ((ITextViewerExtension2) viewer).invalidateTextPresentation(region.getOffset(), region.getLength());

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

      offset = region.getOffset() - fTextViewer.getVisibleRegion().getOffset();
      length = region.getLength();
    }


    // needs to clean background due to StructuredTextEditor's highlighter
    text.redrawRange(offset, length, true);


    // Invalidate region ==> apply text presentation
    fActiveRegion = region;


    if (fTextViewer instanceof ITextViewerExtension2)

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

    try {
      StyledText text = fTextViewer.getTextWidget();


      // needs to clean background due to StructuredTextEditor's
      // highlighter
      text.redrawRange(offset, length, true);


    }
    catch (IllegalArgumentException x) {
      // ignore - do not log
    }

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

    } else {
      offset = region.getOffset() - viewer.getVisibleRegion().getOffset();
      length = region.getLength();
    }
    // need clearBackground to be true for paint event to be fired
    text.redrawRange(offset, length, true);


    fActiveRegion = region;
  }


  private boolean includes(IRegion region, IRegion position) {

View Full Code Here

Examples of org.eclipse.swt.custom.StyledText.redrawRange()

      }
      try {
        StyledText text = viewer.getTextWidget();


        // need clearBackground to be true for paint event to be fired
        text.redrawRange(offset, length, true);
      } catch (IllegalArgumentException x) {
        Logger.logException(x);
      }
    }
  }

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.