Package org.eclipse.ui.texteditor

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

171
172
173
174
175
176
177
178
179
180
181
                    textEditor.selectAndReveal(sr.getOffset() + 1, selectionLength - 1);
                    foundInPropertiesFile = true;
                    break;
                  } else { // xml, select till </
                    final IRegion selEnd = frda.find(regionBegin.getOffset(), "</", true, true, false, false);
                    textEditor.selectAndReveal(sr.getOffset() + 2, selEnd.getOffset() - sr.getOffset() - 2);
                    foundInPropertiesFile = true;
                    break;
                  }
                } else {
                  activePage.closeEditor(editor, false);
View Full Code Here
70
71
72
73
74
75
76
77
78
79
    }
    final ITextEditor textEditor = (ITextEditor) workbenchPart;
    return new LiveEditResultDialog.ErrorPositionHighlighter() {
      @Override
      public void highlight(int offset, int length) {
        textEditor.selectAndReveal(offset, length);
      }
    };
  }
}
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
                //DebugUIPlugin.log(e);
                e.printStackTrace();
              }
              provider.disconnect(input);
              if (offset >= 0 && lenght >=0) {
                textEditor.selectAndReveal(offset, lenght);
              }
            }

          }
        } catch (PartInitException e) {
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
            Object o = editor.getAdapter(ITextEditor.class);
            if (o != null)
              textEditor = (ITextEditor) o;
          }
          if (textEditor != null)
            textEditor.selectAndReveal(old.getOffset(), old.getLength());
        }
        finally {
          history.listenToSelectionChanges();
        }
      }
View Full Code Here
224
225
226
227
228
229
230
231
232
233
234
  private void gotoSelectedElement() {
    Object element = getSelectedElement();
    dispose();
    ITextEditor editor = getActiveTextEditor();
    if (editor != null) {
      editor.selectAndReveal(((IndexedRegion) element).getStartOffset(), ((IndexedRegion) element).getEndOffset() - ((IndexedRegion) element).getStartOffset());
    }
  }

  private ITextEditor getActiveTextEditor() {
    IWorkbench wb = PlatformUI.getWorkbench();
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
    }
    if (textEditor != null && textSelection != null) {
      ISelectionProvider sp = textEditor.getSelectionProvider();
      ITextSelection sel = new TextSelection(textSelection.getOffset(), text.length());
      sp.setSelection(sel);
      textEditor.selectAndReveal(sel.getOffset(), sel.getLength());
    }

    return true;
  }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
          // select new selection
          if (newSelectionRegion != null) {
            fHistory.remember(new Region(textSelection.getOffset(), textSelection.getLength()));
            try {
              fHistory.ignoreSelectionChanges();
              textEditor.selectAndReveal(newSelectionRegion.getOffset(), newSelectionRegion.getLength());
            }
            finally {
              fHistory.listenToSelectionChanges();
            }
          }
View Full Code Here
960
961
962
963
964
965
966
967
968
969
970
            IDocument document = null;
            document = provider.getDocument(editorInput);
            try {
              IRegion line = document
                  .getLineInformation(lineNumber - 1);
              textEditor.selectAndReveal(line.getOffset(), line
                  .getLength());
            } catch (BadLocationException e) {
            }
            provider.disconnect(editorInput);
          }
View Full Code Here
224
225
226
227
228
229
230
231
232
233
234
  private void gotoSelectedElement() {
    Object element = getSelectedElement();
    dispose();
    ITextEditor editor = getActiveTextEditor();
    if (editor != null) {
      editor.selectAndReveal(((IndexedRegion) element).getStartOffset(), ((IndexedRegion) element).getEndOffset() - ((IndexedRegion) element).getStartOffset());
    }
  }

  private ITextEditor getActiveTextEditor() {
    IWorkbench wb = PlatformUI.getWorkbench();
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
            SelectionHistory history = (SelectionHistory) editor.getAdapter(SelectionHistory.class);
            if (history != null) {
              history.remember(new Region(textSelection.getOffset(), textSelection.getLength()));
              try {
                history.ignoreSelectionChanges();
                textEditor.selectAndReveal(newSelectionRegion.getOffset(), newSelectionRegion.getLength());
              }
              finally {
                history.listenToSelectionChanges();
              }
            }
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.