getPreferenceStore().setValue(IS_SHOW_UP_WIDGET_IS_DISPOSED, selection);
}
- /**
- * @return
- */
- public static boolean isRestoreNavigator() {
- return getPreferenceStore().getBoolean(RESTORE_NAVIGATOR_STATE);
- }
- public static void setRestoreNavigator(boolean selection) {
- getPreferenceStore().setValue(RESTORE_NAVIGATOR_STATE, selection);
- }
+
}