Un qustion de développement Eclipse PDE: J'écrire un petit plugin pour Eclipse et ont la suivante * un org.eclipse.ui.texteditor.ITextEditor * un numéro de ligneEclipe PDE: saut à la ligne X et surligner
Comment puis-je sauter automatiquement cette ligne et le marquer? Il est dommage que l'API semble uniquement prendre en charge les décalages (voir: ITextEditor.selectAndReveal()) dans le document mais pas de numéros de ligne.
Le mieux serait - bien que cela ne fonctionne pas:
ITextEditor editor = (ITextEditor)IDE.openEditor(PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(), file, true);
editor.goto(line);
editor.markLine(line);
Il ce possible d'une certaine façon? Je n'ai pas trouvé de solution