Salut,
Une piste peut être d'ajouter ton éditeur dans le mapping éditeur-extension:
PlatformUI.getWorkbench().getEditorRegistry().setDefaultEditor("ext", "my.editor.id");Par contre, il te...
Type: Messages; Utilisateur: Gueritarish
Salut,
Une piste peut être d'ajouter ton éditeur dans le mapping éditeur-extension:
PlatformUI.getWorkbench().getEditorRegistry().setDefaultEditor("ext", "my.editor.id");Par contre, il te...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.