Changeset 4616

Timestamp:

2003-06-12T17:19:37+12:00 (21 years ago)

Author:

jmt12

Message:

2030120: Changed to use the new DragTree with the ability to set whether the selection model allows mixed selections, i.e. both files and folders.

Location:

trunk/gli/src/org/greenstone/gatherer/gui

Files:

• CollectionPane.java (modified) (2 diffs)
• MetaEditPane.java (modified) (1 diff)
• MirrorPane.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/gui/CollectionPane.java

@@ -267 +267 @@
 
     workspace = Gatherer.c_man.getWorkspace();
-    workspace_tree = new DragTree(Utility.WORKSPACE_TREE, workspace, null);
+    workspace_tree = new DragTree(Utility.WORKSPACE_TREE, workspace, null, true);
     group.add(workspace_tree);
     workspace_tree.addFocusListener(this);
@@ -307 +307 @@
     collection = Gatherer.c_man.getRecordSet();
     if(collection != null) {
-        collection_tree = new DragTree(Utility.COLLECTION_TREE, collection, null);
+        collection_tree = new DragTree(Utility.COLLECTION_TREE, collection, null, true);
         collection_tree.setEnabled(true);
     }
     else {
-        collection_tree = new DragTree(Utility.COLLECTION_TREE, null);
+        collection_tree = new DragTree(Utility.COLLECTION_TREE, null, true);
         collection_tree.setEnabled(false);
     }

trunk/gli/src/org/greenstone/gatherer/gui/MetaEditPane.java

@@ -381 +381 @@
     TreeModel collection_model = Gatherer.c_man.getRecordSet();
     if(collection_model != null) {
-        collection_tree = new DragTree("MetaEdit", collection_model, null);
+        collection_tree = new DragTree("MetaEdit", collection_model, null, false);
         collection_model.addTreeModelListener(this);
     }
     else {
-        collection_tree = new DragTree("MetaEdit", null);
+        collection_tree = new DragTree("MetaEdit", null, false);
     }
     group.add(collection_tree);

trunk/gli/src/org/greenstone/gatherer/gui/MirrorPane.java

@@ -183 +183 @@
     //Gatherer.println("\tCreating public tree");
     model = (FileSystemModel) Gatherer.c_man.getWorkspace();
-    workspace_tree = new DragTree("Workspace_Mirror", model, null);
+    workspace_tree = new DragTree("Workspace_Mirror", model, null, true);
     workspace_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION);
     workspace_tree.putClientProperty("JTree.lineStyle", "Angled");