private final static String EDITOR_PREFERENCES_NODE = "eu.etaxonomy.taxeditor";
public static final String PREFERRED_TERMS_CHANGE = "preferred_terms";
-
+ public static final String UPDATE_NAVIGATOR = "update_navigator";
public static final String P2_REPOSITORIES_DELIM = ",";
public static final String P2_REPOSITORY_FIELDS_DELIM = ";";
public static final String SUBJECT_DELIM = "/";
getPreferenceStore().firePropertyChangeEvent(PREFERRED_TERMS_CHANGE,
null, clazz);
}
+
+ public static void firePreferencesChangedForNavigator() {
+ getPreferenceStore().firePropertyChangeEvent(UPDATE_NAVIGATOR,
+ null, null);
+ }
public static String createPreferenceString(String property){