Fonctionnalité de la page Préférences de restauration par défaut dans Eclipse

Question

Existe-t-il une méthode programmatique permettant d'obtenir les mêmes résultats que de cliquer sur "Restaurer les paramètres par défaut" dans une page de préférences Eclipse?

Je connais déjà le fonctionnement du système d'éditeur de champs et le stockage des préférences.

Merci! :)

Answer 1

La méthode setToDefault() of IPreferenceStore semble être un bon candidat.

Vous pouvez voir la EditorsUI en utilisant cette fonction:

public static void useQuickDiffPreferencePage(IPreferenceStore store) { 
    MarkerAnnotationPreferences.useQuickDiffPreferencePage(store); 
    store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_ALWAYS_ON); 
    store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_CHARACTER_MODE); 
    store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER); 
} 

Ou dans le method resetToDefaultSettings() of class HeapWalkingManager:

/** 
* Resets the preferences controlled by this manager to their default settings 
*/ 
public void resetToDefaultSettings(){ 
    JDIDebugPlugin.getDefault().getPluginPreferences().setToDefault(JDIDebugPlugin.PREF_SHOW_REFERENCES_IN_VAR_VIEW); 
    JDIDebugPlugin.getDefault().getPluginPreferences().setToDefault(JDIDebugPlugin.PREF_ALL_REFERENCES_MAX_COUNT); 
    JDIDebugPlugin.getDefault().getPluginPreferences().setToDefault(JDIDebugPlugin.PREF_ALL_INSTANCES_MAX_COUNT); 
}