Examples of resetHighlightRange()

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

34
35
36
37
38
39
40
41
42
43
44
   */
  public void run() {

    ITextEditor editor= getTextEditor();

    editor.resetHighlightRange();
    boolean show= editor.showsHighlightRangeOnly();
    setChecked(!show);
    editor.showHighlightRangeOnly(!show);
  }

View Full Code Here

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

181
182
183
184
185
186
187
188
189
190
191
                  activePage.closeEditor(editor, false);
                  continue;
                }
              }
            } catch (final BadLocationException e) {
              textEditor.resetHighlightRange();
              return;
            }
          } else {
            if (!found) {
              if (JAVA.equals(extension) && !openedResource.getName().contains("_")) {
View Full Code Here

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

88
89
90
91
92
93
94
95
96
97
98
        (oldHighlightRange.getOffset() == fDestRegion.getOffset() && oldHighlightRange.getLength() == fDestRegion.getLength());

      try {
        if (sameHighlightRange)
          // force the cursor being moved
          textEditor.resetHighlightRange();

        textEditor.setHighlightRange(fDestRegion.getOffset(), fDestRegion.getLength(), true);

        if (!sameHighlightRange)
          // mark the location in navigation history
View Full Code Here

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

96
97
98
99
100
101
102
103
104
105
        if (!sameHighlightRange)
          // mark the location in navigation history
          textEditor.getSelectionProvider().setSelection(new TextSelection(fDestRegion.getOffset(), 0));
      } catch (IllegalArgumentException x) {
        textEditor.resetHighlightRange();
      }
    }
  }
}
View Full Code Here

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

319
320
321
322
323
324
325
326
327
328
329
    IEditorPart editorPart = this.getActiveEditor();
    if (editorPart == null || !(this.getActiveEditor() instanceof ITextEditor)) {
      return;
    }
    ITextEditor textEditor = (ITextEditor) editorPart;
    textEditor.resetHighlightRange();
  }

  public ISelectionProvider getSelectionProvider() {
    IEditorPart editorPart = this.getActiveEditor();
    if (editorPart == null || !(this.getActiveEditor() instanceof ITextEditor)) {
View Full Code Here

Examples of org.eclipse.ui.texteditor.ITextEditor.resetHighlightRange()

35
36
37
38
39
40
41
42
43
44
45
    @Override
    public void run() {

        ITextEditor editor = getTextEditor();

        editor.resetHighlightRange();
        boolean show = editor.showsHighlightRangeOnly();
        setChecked(!show);
        editor.showHighlightRangeOnly(!show);
    }
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.