/** * Clears the ORCID. */ public void clearOrcid() { preferences.putString(PREFERENCES_KEY, null); } }
/** * Sets the user name. * @param userName The user name. Not {@code null}. * @throws java.lang.NullPointerException if the user name is {@code null}. */ public void setUserName(String userName) { preferences.putString(PREFERENCES_KEY, checkNotNull(userName)); }
public static void setLabelDescriptorClass(Class<? extends LabelDescriptor> cls) { Preferences prefs = getPrefs(); prefs.putString(LABEL_DESCRIPTOR, cls.getName()); } }
/** * Sets the ORCID. * @param orcid The ORCID. Not {@code null}. */ public void setOrcid(Orcid orcid) { preferences.putString(PREFERENCES_KEY, orcid.getValue()); }
public static void setLabelDescriptorClass(Class<? extends LabelDescriptor> cls) { Preferences prefs = getPrefs(); prefs.putString(LABEL_DESCRIPTOR, cls.getName()); } }
/** * Sets the current search manager plugin by its id. * @param id The id. Not {@code null}. */ public void setCurrentPluginId(String id) { getSearchManagerPreferences().putString("search.manager", checkNotNull(id)); updateCurrentSearchManager(); }
@Deprecated public void setFontName(String fontName) { this.fontName = fontName; getPreferences().putString(FONT_NAME, fontName); resetFont(); }
/** * Stores a serialisation of a view layout in the preferences system * @param serialisation The serialisation to be stored. */ public void storeViewLayout(String serialisation) { getViewLayoutPreferences().putString(getLayoutPreferencesKey(), serialisation); }
public void setPluginRegistryLocation(URL url) { String oldPluginRegistryLoc = getPrefs().getString(PLUGIN_REGISTRY_KEY, DEFAULT_REGISTRY); String newPluginRegistryLoc = url.toString(); if (!newPluginRegistryLoc.equals(oldPluginRegistryLoc)) { getPrefs().putString(PLUGIN_REGISTRY_KEY, newPluginRegistryLoc); } }
public void setRendererPlugin(RendererPlugin plugin) { String rendererClass = plugin.getRendererClassName(); getPreferences().putString(RENDERER_CLASS, rendererClass); currentRendererPlugin = plugin; }
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 void setPluginRegistryLocation(URL url) { String oldPluginRegistryLoc = getPrefs().getString(PLUGIN_REGISTRY_KEY, DEFAULT_REGISTRY); String newPluginRegistryLoc = url.toString(); if (!newPluginRegistryLoc.equals(oldPluginRegistryLoc)) { getPrefs().putString(PLUGIN_REGISTRY_KEY, newPluginRegistryLoc); pluginRegistry = 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 setRendererPlugin(RendererPlugin plugin) { String rendererClass = plugin.getRendererClassName(); getPreferences().putString(RENDERER_CLASS, rendererClass); currentRendererPlugin = plugin; }
public void setFreshAxiomLocation(FreshAxiomLocation freshAxiomLocation) { PreferencesManager.getInstance().getApplicationPreferences(PREFERENCES_KEY).putString( FRESH_AXIOM_LOCATION_KEY, freshAxiomLocation.getLocationName()); }
protected void setDefaultLocalBase() { File folder = UIUtil.chooseFolder(this, "Please select a folder"); if (folder != null) { locationBase = folder; Preferences prefs = PreferencesManager.getInstance().getApplicationPreferences(ProtegeOWL.ID); prefs.putString(DEFAULT_LOCAL_BASE_KEY, locationBase.toString()); updateLocationField(); } }
private void save() { Preferences p = getPreferences(); p.putString(BASE_URI_KEY, baseURI.toString()); p.putBoolean(INC_YEAR_KEY, includeYear); p.putBoolean(INC_MONTH_KEY, includeMonth); p.putBoolean(INC_DAY_KEY, includeDay); }
private void save() { Preferences p = getPreferences(); p.putString(BASE_URI_KEY, baseURI.toString()); p.putBoolean(INC_YEAR_KEY, includeYear); p.putBoolean(INC_MONTH_KEY, includeMonth); p.putBoolean(INC_DAY_KEY, includeDay); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }