private void save() { prefs.putStringList(CUSTOM_TABS_PREFERENCES_KEY, customTabs); }
private void save() { prefs.putStringList(CUSTOM_TABS_PREFERENCES_KEY, customTabs); }
private void save() { prefs.putStringList(CUSTOM_TABS_PREFERENCES_KEY, customTabs); }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }
public void save() { getPreferences().putStringList(VISIBLE_TABS_PREFERENCE_KEY, tabs); }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<String>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<String>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
private void writeAnnotations() { List<String> values = new ArrayList<String>(); StringBuilder langStringBuilder = new StringBuilder(); for (String lang : annotationLanguages) { if (lang == null || lang.equals(NO_LANGUAGE_SET)){ lang = NO_LANGUAGE_SET_USER_TOKEN; } langStringBuilder.append(", ").append(lang); } for (IRI iri : annotationIRIS){ StringBuilder str = new StringBuilder(iri.toString()); str.append(langStringBuilder.toString()); values.add(str.toString()); } getPreferences().putStringList(ANNOTATIONS, values); }
private void writeAnnotations() { List<String> values = new ArrayList<>(); StringBuilder langStringBuilder = new StringBuilder(); for (String lang : annotationLanguages) { if (lang == null || lang.equals(NO_LANGUAGE_SET)){ lang = NO_LANGUAGE_SET_USER_TOKEN; } langStringBuilder.append(", ").append(lang); } for (IRI iri : annotationIRIS){ StringBuilder str = new StringBuilder(iri.toString()); str.append(langStringBuilder.toString()); values.add(str.toString()); } getPreferences().putStringList(ANNOTATIONS, values); }
private void writeAnnotations() { List<String> values = new ArrayList<>(); StringBuilder langStringBuilder = new StringBuilder(); for (String lang : annotationLanguages) { if (lang == null || lang.equals(NO_LANGUAGE_SET)){ lang = NO_LANGUAGE_SET_USER_TOKEN; } langStringBuilder.append(", ").append(lang); } for (IRI iri : annotationIRIS){ StringBuilder str = new StringBuilder(iri.toString()); str.append(langStringBuilder.toString()); values.add(str.toString()); } getPreferences().putStringList(ANNOTATIONS, values); }
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); }
private void setDrivers(List<DriverInfo> drivers) { Preferences prefs = PreferencesManager.getInstance().getPreferencesForSet(PREFERENCES_SET, DRIVER_PREFERENCES_KEY); List<String> prefsStringList = new ArrayList<>(); for (DriverInfo driver : drivers) { prefsStringList.add(driver.getDescription()); prefsStringList.add(driver.getClassName()); prefsStringList.add(driver.getDriverLocation().getPath()); } prefs.clear(); prefs.putStringList(DRIVER_PREFERENCES_KEY, prefsStringList); }
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 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 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 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); }