private void addURI() { String uriString = JOptionPane.showInputDialog(this, "Please enter a URI", "URI", JOptionPane.PLAIN_MESSAGE); if (uriString != null) { try { URI uri = new URI(uriString); BookMarkedURIManager.getInstance().add(uri); } catch (URISyntaxException e) { showURIErrorMessage(e); } fillList(); } }
public static synchronized BookMarkedURIManager getInstance() { if (instance == null) { instance = new BookMarkedURIManager(); } return instance; }
private void fillList() { BookMarkedURIManager man = BookMarkedURIManager.getInstance(); Set<URI> ts = new TreeSet<URI>(); ts.addAll(man.getBookMarkedURIs()); ArrayList<Object> data = new ArrayList<Object>(); data.add(new AddURIItem()); for (URI uri : ts) { data.add(new URIListItem(uri)); } bookmarksList.setListData(data.toArray()); }
private void deleteSelectedBookmark() { Object selObj = bookmarksList.getSelectedValue(); if (!(selObj instanceof URIListItem)) { return; } URIListItem item = (URIListItem) selObj; BookMarkedURIManager.getInstance().remove(item.uri); fillList(); }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); logger.info("Thank you for using Protege. Goodbye."); }
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 stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); }
private void deleteSelectedBookmark() { Object selObj = bookmarksList.getSelectedValue(); if (!(selObj instanceof URIListItem)) { return; } URIListItem item = (URIListItem) selObj; BookMarkedURIManager.getInstance().remove(item.uri); fillList(); }
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 addURI() { String uriString = JOptionPane.showInputDialog(this, "Please enter a URI", "URI", JOptionPane.PLAIN_MESSAGE); if (uriString != null) { try { URI uri = new URI(uriString); BookMarkedURIManager.getInstance().add(uri); } catch (URISyntaxException e) { showURIErrorMessage(e); } fillList(); } }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); logManager.unbind(); }
private void deleteSelectedBookmark() { Object selObj = bookmarksList.getSelectedValue(); if (!(selObj instanceof URIListItem)) { return; } URIListItem item = (URIListItem) selObj; BookMarkedURIManager.getInstance().remove(item.uri); fillList(); }
private void fillList() { BookMarkedURIManager man = BookMarkedURIManager.getInstance(); Set<URI> ts = new TreeSet<>(); ts.addAll(man.getBookMarkedURIs()); ArrayList<Object> data = new ArrayList<>(); data.add(new AddURIItem()); for (URI uri : ts) { data.add(new URIListItem(uri)); } bookmarksList.setListData(data.toArray()); }
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 static synchronized BookMarkedURIManager getInstance() { if (instance == null) { instance = new BookMarkedURIManager(); } return instance; }
private void addURI() { String uriString = JOptionPane.showInputDialog(this, "Please enter a URI", "URI", JOptionPane.PLAIN_MESSAGE); if (uriString != null) { try { URI uri = new URI(uriString); BookMarkedURIManager.getInstance().add(uri); } catch (URISyntaxException e) { showURIErrorMessage(e); } fillList(); } }
private void fillList() { BookMarkedURIManager man = BookMarkedURIManager.getInstance(); Set<URI> ts = new TreeSet<URI>(); ts.addAll(man.getBookMarkedURIs()); ArrayList<Object> data = new ArrayList<Object>(); data.add(new AddURIItem()); for (URI uri : ts) { data.add(new URIListItem(uri)); } bookmarksList.setListData(data.toArray()); }
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 static synchronized BookMarkedURIManager getInstance() { if (instance == null) { instance = new BookMarkedURIManager(); } return instance; }
public void addRecent(@Nonnull URI physicalURI) { String label = physicalURI.toString(); if (FILE_URI_SCHEME.equals(physicalURI.getScheme())) { label = new File(physicalURI).getPath(); } else { // also add to the URI bookmarks BookMarkedURIManager.getInstance().add(physicalURI); } EditorKitDescriptor descriptor = new EditorKitDescriptor(label, getEditorKitFactory()); descriptor.setURI(URI_KEY, physicalURI); RecentEditorKitManager.getInstance().add(descriptor); }