Examples of org.eclipse.jface.text.IDocument.addPositionUpdater()

org.eclipse.jface.text.IDocument.addPositionUpdater()
Appends a new position updater to the document's list of position updaters. Position updaters may be added multiple times.
An IPositionUpdater may call back to this method when being inside a document notification. @param updater the updater to be added


    if (fSelections.isEmpty()) {
      fSelectionCategory= _SELECTION_POSITION_CATEGORY + hashCode();
      fSelectionUpdater= new NonDeletingPositionUpdater(fSelectionCategory);
      document.addPositionCategory(fSelectionCategory);
      document.addPositionUpdater(fSelectionUpdater);
    }


    try {
      final Position position;
      if (selection instanceof IBlockTextSelection)

View Full Code Here

  }
  
  private IDocument createDocument(String headerText, String bodyText, ITextEntityRenderer renderer) {
    final IDocument document = createEmptyDocument(renderer);
    document.addPositionCategory(HttpMessageDocument.SECTION_POSITION_CATEGORY);
    document.addPositionUpdater(new DefaultPositionUpdater(HttpMessageDocument.SECTION_POSITION_CATEGORY));
    
    if(bodyText != null && !bodyText.isEmpty()) {
      document.set(headerText + bodyText);
      addSectionPosition(document, 0, headerText.length());
      addSectionPosition(document, headerText.length(), bodyText.length());

View Full Code Here

            level.fLength = 2;


            // set up position tracking for our magic peers
            if (fBracketLevelStack.size() == 1) {
                document.addPositionCategory(CATEGORY);
                document.addPositionUpdater(fUpdater);
            }
            level.fFirstPosition = new Position(offset, 1);
            level.fSecondPosition = new Position(offset + 1, 1);
            document.addPosition(CATEGORY, level.fFirstPosition);
            document.addPosition(CATEGORY, level.fSecondPosition);

View Full Code Here


    if (fSelections.isEmpty()) {
      fSelectionCategory= _SELECTION_POSITION_CATEGORY + hashCode();
      fSelectionUpdater= new NonDeletingPositionUpdater(fSelectionCategory);
      document.addPositionCategory(fSelectionCategory);
      document.addPositionUpdater(fSelectionUpdater);
    }


    try {
      final Position position;
      if (selection instanceof IBlockTextSelection)

View Full Code Here

0 1

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.