/** * 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); }
private static Preferences getPrefs() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY_, LogPreferences.class); }
private static void handleResetPreferences(PreferencesDialogPanel panel) { int ret = JOptionPane.showConfirmDialog(panel, RESET_PREFERENCES_CONFIRMATION_DIALOG_MESSAGE, RESET_PREFERENCES_CONFIRMATION_DIALOG_TITLE, JOptionPane.YES_NO_OPTION, JOptionPane.WARNING_MESSAGE); if(ret == JOptionPane.OK_OPTION) { PreferencesManager.getInstance().resetPreferencesToFactorySettings(); panel.wasReset = true; } } }
/** * 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); }
private static Preferences getPrefs() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(ELK_PREFS_KEY, ElkPreferences.class); }
private static void handleResetPreferences(PreferencesDialogPanel panel) { int ret = JOptionPane.showConfirmDialog(panel, RESET_PREFERENCES_CONFIRMATION_DIALOG_MESSAGE, RESET_PREFERENCES_CONFIRMATION_DIALOG_TITLE, JOptionPane.YES_NO_OPTION, JOptionPane.WARNING_MESSAGE); if(ret == JOptionPane.OK_OPTION) { PreferencesManager.getInstance().resetPreferencesToFactorySettings(); panel.wasReset = true; } } }
protected static Preferences getPreferences() { return PreferencesManager.getInstance().getApplicationPreferences(TABS_PREFERENCES_SET); } }
/* package */ static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
public static Preferences get() { return PreferencesManager.getInstance().getApplicationPreferences(EntityCreationMetadataPreferences.class); } }
static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
/** * 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); }
/* package */ static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
private Preferences getPrefs() { PreferencesManager man = PreferencesManager.getInstance(); return man.getApplicationPreferences(PluginManager.class); }
static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
private static Preferences getPreferences() { return PreferencesManager.getInstance().getApplicationPreferences(TREE_PREFS_KEY); }
private static Preferences getPreferences() { return PreferencesManager.getInstance().getPreferencesForSet(PREFERENCES_SET_KEY, PREFERENCES_KEY); }
private Preferences getPrefs() { PreferencesManager man = PreferencesManager.getInstance(); return man.getApplicationPreferences(PluginManager.class); }
public String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
private Preferences getFilePrefs() { return PreferencesManager.getInstance().getApplicationPreferences(UIUtil.FILE_PREFERENCES_KEY); } }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }