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);
これは何らかの方法で可能ですか?解決策が見つかりませんでした