/** * Called to initialize the outline by setting the top level bookmark. * * @param bookmark top level bookmark. */ public void setFirstBookmark(final Bookmark bookmark) { final Vector activeVector = getActiveVector(); synchronized (activeVector) { final Hashtable parentMap = getParentMap(); parentMap.clear(); final Vector pagenoVector = getPagenoVector(); pagenoVector.setSize(0); getDepthMap().clear(); mapChildren(bookmark, parentMap, pagenoVector, new Integer(0)); activeVector.setSize(0); activeVector.addElement(bookmark); setCheckedItem(0, true); } }
/** cleans up a connection by removing all user from all maintained lists */ public void close() { error("Connection to server was lost"); admin = false; users.clear(); afks.clear(); ignores.clear(); admins.clear(); channels.clear(); cboChannels.removeAllItems(); updateList(); }
public void update() { justPressed.clear(); justReleased.clear(); }