@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();
 }