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 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()); }
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 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 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 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 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); }
public void addRecent(URI physicalURI) { String label = physicalURI.toString(); if (physicalURI.getScheme() != null && physicalURI.getScheme().equals("file")) { 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); }
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); }
public void addRecent(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); }
private void deleteSelectedBookmark() { Object selObj = bookmarksList.getSelectedValue(); if (!(selObj instanceof URIListItem)) { return; } URIListItem item = (URIListItem) selObj; BookMarkedURIManager.getInstance().remove(item.uri); fillList(); }
private void deleteSelectedBookmark() { Object selObj = bookmarksList.getSelectedValue(); if (!(selObj instanceof URIListItem)) { return; } URIListItem item = (URIListItem) selObj; BookMarkedURIManager.getInstance().remove(item.uri); fillList(); }
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 void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); }
public void stop(BundleContext context) throws Exception { BookMarkedURIManager.getInstance().dispose(); RecentEditorKitManager.getInstance().save(); RecentEditorKitManager.getInstance().dispose(); PluginUtilities.getInstance().dispose(); ProtegeManager.getInstance().dispose(); logManager.unbind(); }