Modifier préférence Eclipse via plug-in

Bonjour,

J'aimerais changer une préférence Eclipse via un plug-in, c'est à dire accéder aux préférences d'Eclipse par défaut puis les modifier.

J'ai vu qu'il était possible de faire cela via java avec des IEclipsePreference.

Mais comment utiliser cela dans un plugin qui aura pour seule vocation de faire ces modifications ?

Merci d'avance,

link_915

Salut,

Bien sur, mais pour le coup, il faut que ce soit un plug-in qui soit lancé avant les autres. Si tu travailles sur une application RCP, c'est assez facile, si tu travailles sur des plug-ins Eclipse, c'est un plus compliqué.
Dans tous les cas, il te faut utiliser le code suivant:

Code:

---

1 2 3 4 5

IEclipsePreferences rootNode = new InstanceScope().getNode("org.eclipse.help.base"); // remoteHelpOn: va te permettre d'inclure l'aide locale (false) ou l'aide distante (true). rootNode.putBoolean("remoteHelpOn", true); // remoteHelpPreferred: va te permettre de donner la priorité à l'aide locale (false) ou à l'aide distante (true). rootNode.putBoolean("remoteHelpPreferred", false);

---

Cet exemple se base sur les préférences pour le "Help > Content".

Voilà, à+
Gueritarish

Merci, car je commençait à désespérer.

Mais pourquoi faudrait-il que ce plugin soit lancé avant les autres ? Sachant que l'indexation du contenu de l'aide s’exécute lorsque l'on lance cette dernière, une modification de la préférence n’ayant pas besoin d'un redémarrage de l'Eclipse.

link_915

Tout à fait. Ce que je voulais dire c'est qu'il faut que ton plug-in soit exécuté avant l'accès aux préférences. Comme tu peux accéder aux préférences dès le lancement d'Eclipse (du moins, dès que tu arrives dans ton workspace), je te conseillais donc de le faire dans un plug-in dont tu es sûr qu'il soit lancé avant cet accès.

Voilà, à+
Gueritarish

ok ca marche, merci pour la précision :ccool:

link_915