eclipse-pde - Eclipse PDE : Jump to line X and highlight it

Question

关于Eclipse PDE开发的问题:我为Eclipse写了一个小插件，有以下内容* 一个org.eclipse.ui.texteditor.ITextEditor* 行号

如何自动跳转到该行并标记它？遗憾的是，该 API 似乎只支持文档内的偏移量(参见:ITextEditor.selectAndReveal())，但不支持行号。

最好的办法是 - 尽管这不起作用:

ITextEditor editor = (ITextEditor)IDE.openEditor(PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(), file, true );
editor.goto(line);
editor.markLine(line);

这有可能以某种方式实现吗？没找到解决办法

Answer 1

在类里面DetailsView我找到了以下方法。

private static void goToLine(IEditorPart editorPart, int lineNumber) {
  if (!(editorPart instanceof ITextEditor) || lineNumber <= 0) {
    return;
  }
  ITextEditor editor = (ITextEditor) editorPart;
  IDocument document = editor.getDocumentProvider().getDocument(
    editor.getEditorInput());
  if (document != null) {
    IRegion lineInfo = null;
    try {
      // line count internaly starts with 0, and not with 1 like in
      // GUI
      lineInfo = document.getLineInformation(lineNumber - 1);
    } catch (BadLocationException e) {
      // ignored because line number may not really exist in document,
      // we guess this...
    }
    if (lineInfo != null) {
      editor.selectAndReveal(lineInfo.getOffset(), lineInfo.getLength());
    }
  }
}