Java PreferencesManager Examples

Example #1

File: TabbedWorkspaceStateManager.java Project: bdionne/protege

 protected static Preferences getPreferences() {
   return PreferencesManager.getInstance().getApplicationPreferences(TABS_PREFERENCES_SET);
 }

Example #2

File: ViewsPane.java Project: aborkowski/protege

 /**
  * Gets the layout preferences set. This is common amongst all views
  *
  * @return The preferences.
  */
 public static Preferences getViewLayoutPreferences() {
   PreferencesManager prefsMan = PreferencesManager.getInstance();
   return prefsMan.getApplicationPreferences(VIEW_LAYOUT_PREFERENCES_ID);
 }