Changeset 4305
- Timestamp:
- 2003-05-23T16:15:01+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/CollectionPane.java
r4293 r4305 211 211 collection_tree.setModel(collection); 212 212 collection_tree.repaint(); 213 collection_tree.setRootVisible(true);214 213 collection_filter.setBackground(Gatherer.config.getColor("coloring.collection_heading_background", false)); 215 214 } … … 220 219 args = null; 221 220 collection_tree.setModel(new DefaultTreeModel(new DefaultMutableTreeNode("Error"))); 222 collection_tree.setRootVisible(false);223 221 collection_filter.setBackground(Color.lightGray); 224 222 } … … 260 258 261 259 workspace = Gatherer.c_man.getWorkspace(); 262 workspace_tree = new DragTree( "Workspace", workspace, null);260 workspace_tree = new DragTree(Utility.WORKSPACE_TREE, workspace, null); 263 261 group.add(workspace_tree); 264 262 workspace_tree.addFocusListener(this); … … 300 298 collection = Gatherer.c_man.getRecordSet(); 301 299 if(collection != null) { 302 collection_tree = new DragTree( "Collection", collection, null);300 collection_tree = new DragTree(Utility.COLLECTION_TREE, collection, null); 303 301 collection_tree.setEnabled(true); 304 collection_tree.setRootVisible(true);305 302 } 306 303 else { 307 collection_tree = new DragTree( "Collection", null);304 collection_tree = new DragTree(Utility.COLLECTION_TREE, null); 308 305 collection_tree.setEnabled(false); 309 collection_tree.setRootVisible(false);310 306 } 311 307 group.add(collection_tree); … … 321 317 collection_tree.setBackgroundSelectionColor(Gatherer.config.getColor("coloring.collection_selection_background", false)); 322 318 collection_tree.setTextSelectionColor(Gatherer.config.getColor("coloring.collection_selection_foreground", false)); 319 collection_tree.setRootVisible(false); 323 320 324 321 collection_scroll = new JScrollPane(collection_tree);
Note:
See TracChangeset
for help on using the changeset viewer.