Вопрос о разработке Eclipse PDE: я пишу небольшой плагин для Eclipse и имею следующее
* an 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);
Это возможно каким-то образом? Я не нашел решения