@Override protected void invalidate() { Preferences.instance().setProperty("bookmark.toggle.options", this.toggleOptionsButton.state()); BookmarkCollection.defaultCollection().removeListener(bookmarkCollectionListener); super.invalidate(); }
/** * Updates the window title and url label with the properties of this bookmark Propagates all * fields with the properties of this bookmark */ private void itemChanged() { BookmarkCollection.defaultCollection().collectionItemChanged(host); }
/** @param host The bookmark to edit */ private BookmarkController(final Host host) { this.host = host; // Register for bookmark delete event. Will close this window. BookmarkCollection.defaultCollection().addListener(bookmarkCollectionListener); this.loadBundle(); }