public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<String>())); }
public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<>())); }
public void load() { tabs.clear(); tabs.addAll(getPreferences().getStringList(VISIBLE_TABS_PREFERENCE_KEY, new ArrayList<String>())); }
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 Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<URI>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<String>())) { uris.add(URI.create(s)); } return uris; }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<URI>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<String>())) { uris.add(URI.create(s)); } return uris; }
public CustomWorkspaceTabsManager() { prefs = PreferencesManager.getInstance().getApplicationPreferences(CUSTOM_TABS_PREFERENCES_KEY); customTabs = prefs.getStringList(CUSTOM_TABS_PREFERENCES_KEY, new ArrayList<String>()); }
public CustomWorkspaceTabsManager() { prefs = PreferencesManager.getInstance().getApplicationPreferences(CUSTOM_TABS_PREFERENCES_KEY); customTabs = prefs.getStringList(CUSTOM_TABS_PREFERENCES_KEY, new ArrayList<String>()); }
public CustomWorkspaceTabsManager() { prefs = PreferencesManager.getInstance().getApplicationPreferences(CUSTOM_TABS_PREFERENCES_KEY); customTabs = prefs.getStringList(CUSTOM_TABS_PREFERENCES_KEY, new ArrayList<>()); }
public Set<URI> getBookMarkedURIs() { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); Set<URI> uris = new HashSet<>(); for (String s : bookmarks) { try { uris.add(new URI(s)); } catch (URISyntaxException e) { logger.warn("Bookmarked URI syntax error: {}", e.getMessage()); } } return uris; }
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); }
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 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 Set<URI> getBookMarkedURIs() { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); Set<URI> uris = new HashSet<URI>(); for (String s : bookmarks) { try { uris.add(new URI(s)); } catch (URISyntaxException e) { ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } return uris; }
public Set<URI> getBookMarkedURIs() { PreferencesManager man = PreferencesManager.getInstance(); Preferences prefs = man.getApplicationPreferences(PREFERENCES_KEY); List<String> bookmarks = prefs.getStringList(PREFERENCES_KEY, getDefaults()); Set<URI> uris = new HashSet<URI>(); for (String s : bookmarks) { try { uris.add(new URI(s)); } catch (URISyntaxException e) { ProtegeApplication.getErrorLog().handleError(Thread.currentThread(), e); } } return uris; }