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 String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
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 static void setCurrentFileDirectory(String dir) { Preferences p = PreferencesManager.getInstance().getApplicationPreferences(FILE_PREFERENCES_KEY); p.putString(CURRENT_FILE_DIRECTORY_KEY, dir); }
public boolean isUseEntities() { return PreferencesManager.getInstance().getApplicationPreferences(KEY).getBoolean(USE_ENTITIES, true); }
/** * Determines whether or not the user name provided by Git (given the context of active ontologies that are under * Git version control) should be used as the user name. * @return true if the Git user name should be used when available or false if it should never be used. */ public boolean isUseGitUserNameIfAvailable() { return preferences.getBoolean(USE_GIT_USER_NAME, false); }
/** * Clears the ORCID. */ public void clearOrcid() { preferences.putString(PREFERENCES_KEY, null); } }
public static void setCurrentFileDirectory(String dir) { Preferences p = PreferencesManager.getInstance().getApplicationPreferences(FILE_PREFERENCES_KEY); p.putString(CURRENT_FILE_DIRECTORY_KEY, dir); }
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 String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
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 static boolean isAutoRenamePuns() { return PreferencesManager.getInstance().getApplicationPreferences(RenameEntityPanel.class).getBoolean(AUTO_RENAME_PUNS, false); }
public static void setCurrentFileDirectory(String dir) { Preferences p = PreferencesManager.getInstance().getApplicationPreferences(FILE_PREFERENCES_KEY); p.putString(CURRENT_FILE_DIRECTORY_KEY, dir); }
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 String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
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 static boolean isAutoRenamePuns() { return PreferencesManager.getInstance().getApplicationPreferences(RenameEntityPanel.class).getBoolean(AUTO_RENAME_PUNS, false); }
public void setFreshAxiomLocation(FreshAxiomLocation freshAxiomLocation) { PreferencesManager.getInstance().getApplicationPreferences(PREFERENCES_KEY).putString( FRESH_AXIOM_LOCATION_KEY, freshAxiomLocation.getLocationName()); }
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 String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }