A qustion über Eclipse-PDE Entwicklung: Ich habe ein kleines Plugin für Eclipse schreiben und haben folgende * ein org.eclipse.ui.texteditor.ITextEditor * eine ZeilennummerEclipe PDE: Gehe zu Zeile X und markieren Sie es
Wie kann ich automatisch springen diese Linie und markieren Sie es? Es ist schade, dass die API scheinbar nur Offsets (siehe: ITextEditor.selectAndReveal()) innerhalb des Dokuments, aber keine Zeilennummern unterstützt.
Am besten wäre es - auch wenn dies nicht funktioniert:
ITextEditor editor = (ITextEditor)IDE.openEditor(PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(), file, true);
editor.goto(line);
editor.markLine(line);
Es dies möglich in irgendeiner Weise? Ich habe keine Lösung gefunden