关于 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);
这在某种程度上可能吗?我没有找到解决方案