private static Preferences getPrefs() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY_, LogPreferences.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); }
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; } } }
public PhysicalLocationPanel(EditorKit editorKit) { super(ID, "Physical Location", editorKit); Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeOWL.ID); String path = prefs.getString(DEFAULT_LOCAL_BASE_KEY, new File(new File(System.getProperty("user.home")), "ontologies").toString()); locationBase = new File(path); }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<>())) { uris.add(URI.create(s)); } return uris; }
public static List<DriverInfo> getDrivers() { List<DriverInfo> drivers = new ArrayList<>(); Preferences prefs = PreferencesManager.getInstance().getPreferencesForSet(PREFERENCES_SET, DRIVER_PREFERENCES_KEY); Iterator<String> driverStrings = prefs.getStringList(DRIVER_PREFERENCES_KEY, new ArrayList<>()).iterator(); while (driverStrings.hasNext()) { drivers.add(new DriverInfo(driverStrings.next(), driverStrings.next(), new File(driverStrings.next()))); } return drivers; }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<>())) { uris.add(URI.create(s)); } return uris; }
public static String getCurrentFileDirectory() { String dir = "~"; Preferences p = PreferencesManager.getInstance().getApplicationPreferences(FILE_PREFERENCES_KEY); dir = p.getString(CURRENT_FILE_DIRECTORY_KEY, dir); return dir; }
public String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public static String getCurrentFileDirectory() { String dir = "~"; Preferences p = PreferencesManager.getInstance().getApplicationPreferences(FILE_PREFERENCES_KEY); dir = p.getString(CURRENT_FILE_DIRECTORY_KEY, dir); return dir; }
public void add(URI bookMarkedURI) { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); bookmarks.add(bookMarkedURI.toString()); prefs.putStringList(PREFERENCES_KEY, bookmarks); }
public void remove(URI bookMarkedURI) { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); bookmarks.remove(bookMarkedURI.toString()); prefs.putStringList(PREFERENCES_KEY, bookmarks); }
public void setFreshAxiomLocation(FreshAxiomLocation freshAxiomLocation) { PreferencesManager.getInstance().getApplicationPreferences(PREFERENCES_KEY).putString( FRESH_AXIOM_LOCATION_KEY, freshAxiomLocation.getLocationName()); }
public FreshAxiomLocation getFreshAxiomLocation() { String locationName = PreferencesManager.getInstance().getApplicationPreferences(PREFERENCES_KEY) .getString(FRESH_AXIOM_LOCATION_KEY, null); if(locationName == null) { return FreshAxiomLocation.getDefaultValue(); } return FreshAxiomLocation.getLocationFromName(locationName).or(FreshAxiomLocation.getDefaultValue()); }
private Component getDialogParent() { // @@TODO move prefs somewhere more central Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); return prefs.getBoolean(GeneralPreferencesPanel.DIALOGS_ALWAYS_CENTRED, false) ? SwingUtilities.getAncestorOfClass(Frame.class, getParent()) : getParent(); }
private Component getDialogParent() { // @@TODO move prefs somewhere more central Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeApplication.ID); return prefs.getBoolean(GeneralPreferencesPanel.DIALOGS_ALWAYS_CENTRED, false) ? SwingUtilities.getAncestorOfClass(Frame.class, getParent()) : getParent(); }
protected void restoreMetrics() { Preferences p = PreferencesManager.getInstance().getApplicationPreferences(getClass().getName()); int w = p.getInt(SIZE_X, 800); int h = p.getInt(SIZE_Y, 600); setSize(w, h); Point defLoc = getDefaultLocation(); int x = p.getInt(LOC_X, defLoc.x); int y = p.getInt(LOC_Y, defLoc.y); setLocation(x, y); setSize(w, h); }
protected void saveMetrics() { Preferences p = PreferencesManager.getInstance().getApplicationPreferences(getClass().getName()); p.putInt(LOC_X, getLocation().x); p.putInt(LOC_Y, getLocation().y); p.putInt(SIZE_X, getSize().width); p.putInt(SIZE_Y, getSize().height); }