Une chose m'intrigue dans ton code :
String editorId= getEditorId(file);
qui mène par la suite à
page.openEditor(input, editorId, true);
Moi j'utilise plutôt un id codé en dur dans mon éditeur pareil à celui de l'extension dans le plugin.xml. Voici l'exemple.
Dans mon éditeur:
1 2 3 4 5
|
/**
* Public ID of the editor
*/
public static final String EDITOR_ID = PlayMaker.editor.gef.GEFPlayEditorPart"; |
Dans mon action j'ai:
page.openEditor(input, GEFPlayEditorPart.EDITOR_ID, true);
le id est absoluement le même que celui que tu retrouves dans le champ class de l'extension org.eclipse.ui.editors dans le plugin.xml.
Vérifie ce que te retourne ta fonction getEditorId(file) et compare le à ce qui se trouve dans le plugin.xml
Partager