Examples of selectAndReveal()

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

313
314
315
316
317
318
319
320
321
322
323
      IDocument document = editor.getDocumentProvider().getDocument(
          editor.getEditorInput());
      int offset;
      try {
        offset = document.getLineOffset(lineNumberToReveal);
        editor.selectAndReveal(offset, 0);
      } catch (BadLocationException e) {
        Activator.logError(
            "Error revealing line " + lineNumberToReveal, e); //$NON-NLS-1$
      }
    }
View Full Code Here

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

111
112
113
114
115
116
117
118
119
120
121
                        AbstractTextEditor te = (AbstractTextEditor)editor;
                        IDocument document = te.getDocumentProvider()
                            .getDocument(te.getEditorInput());
                        try {
                            int start = document.getLineOffset(_line - 1);
                            te.selectAndReveal(start, 0);
                            te.getSite().getPage().activate(te);
                        }
                        catch (BadLocationException ble) {

                        }
View Full Code Here

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

79
80
81
82
83
84
85
86
87
88
89
            final IDocument document = ((textEditor).getDocumentProvider()).getDocument(textEditor.getEditorInput());
            final FindReplaceDocumentAdapter frda = new FindReplaceDocumentAdapter(document);
            final IRegion region = frda.find(0, '"' + wicketId + '"', true, true, false, false);
            if (region != null)
            {
              textEditor.selectAndReveal(region.getOffset() + 1, wicketId.length());
              wEditor.setActiveEditor(wEditor.getJavaEditor());
            }
          }
          else if ("html".equals(extension))
          {
View Full Code Here

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

91
92
93
94
95
96
97
98
99
100
101
            final IDocument document = ((textEditor).getDocumentProvider()).getDocument(textEditor.getEditorInput());
            final FindReplaceDocumentAdapter frda = new FindReplaceDocumentAdapter(document);
            final IRegion region = frda.find(0, "wicket:id=\"" + wicketId, true, true, true, false);
            if (region != null)
            {
              textEditor.selectAndReveal(region.getOffset() + 11, wicketId.length());
              wEditor.setActiveEditor(wEditor.getHtmlEditor());
            }
          }
          else if ("properties".equals(extension) && propertiesEditor != null)
          {
View Full Code Here

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

108
109
110
111
112
113
114
115
116
117
118
              regionBegin = frda.find(regionBegin.getOffset(), "=", true, true, false, false);
              if (regionBegin != null)
              {
                final IRegion lineRegion = document.getLineInformationOfOffset(regionBegin.getOffset());
                final int selectionLength = lineRegion.getOffset() + lineRegion.getLength() - regionBegin.getOffset();
                textEditor.selectAndReveal(regionBegin.getOffset() + 1, selectionLength);
                wEditor.setActiveEditor(propertiesEditor);
              }
            }
          }
        } catch (final BadLocationException e) {
View Full Code Here

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

73
74
75
76
77
78
79
80
81
82
83
  private void openInEditor(TestCaseFinder.TestCaseFinderResult result, IWorkbenchPage workbenchPage) {
    try {
      IEditorPart editor = getAndOpenEditor(result.getFile(), workbenchPage);
      if (editor instanceof ITextEditor) {
        ITextEditor textEditor = (ITextEditor) editor;
        textEditor.selectAndReveal(result.getMatchOffset(), result.getMatchLength());
      }

    } catch (PartInitException e) {
      logger.log(Level.SEVERE, "Could not open editor for: " + result.getFile(), e);
    }
View Full Code Here

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

92
93
94
95
96
97
98
99
100
101
102
    }

    // Optimization - could also use else branch
    if (editor instanceof ITextEditor) {
      ITextEditor textEditor= (ITextEditor)editor;
      textEditor.selectAndReveal(pos.offset, pos.length);
      return;
    }

    /*
     * Workaround: send out a text selection
View Full Code Here

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

92
93
94
95
96
97
98
99
100
101
102
          IEditorInput input = part.getEditorInput();
          provider.connect(input);
          IDocument document = provider.getDocument(input);
          try {
            IRegion line = document.getLineInformation(lineNumber);
            textEditor.selectAndReveal(line.getOffset(), line.getLength());
          } catch (BadLocationException e) {

          }
          provider.disconnect(input);
        }
View Full Code Here

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

109
110
111
112
113
114
115
116
117
118
119
            }
            if (textEditor == null && editor.getAdapter(ITextEditor.class) != null) {
                textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
            }
            if (textEditor != null) {
                textEditor.selectAndReveal(offset, length);
            }
        }
    }

    @Override
View Full Code Here

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

125
126
127
128
129
130
131
132
133
134
135
                    String line = document.get(li.getOffset(), li.getLength()).trim();
                    if (line.startsWith("*") || line.startsWith("/*") || line.startsWith("//")) {
                      region = frda.find(region.getOffset() + 1, '"' + wicketId + '"', true, true, false, false);
                    } else {
                      DocumentHelper.markOccurrence(textEditor, DocumentHelper.getStringConstantName(line));
                      textEditor.selectAndReveal(region.getOffset() + 1, wicketId.length());
                      found = true;
                      break;
                    }
                  }
                } else {
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.