438439440441442443444445446447448
x.setDirectory(d); //bookmarks current.add(x); marks.put(x.getLabel(), x); x.addActionListener(this); } //*** Where changes to the file menu are made (iniitalization done here too) public void resetFileItems() {