Changeset 5847 for trunk/gli/src/org/greenstone/gatherer/gui/tree

Timestamp:

2003-11-14T15:03:33+13:00 (21 years ago)

Author:

mdewsnip

Message:

A much improved workspace tree that only refreshes when it really needs to (and only refreshes what it really needs to). This should prevent the five second plus refreshes on slow machines.

I'm planning to tidy up the collection tree in a similar way, when I get time.

Location:

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

Files:

• DragTree.java (modified) (2 diffs)
• WorkspaceTree.java (added)

trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java

@@ -54 +54 @@
     static private final int AUTOSCROLL_MARGIN = 12;
 
+    static public int COLLECTION_CHANGED          = 1;
+    static public int COLLECTION_CONTENTS_CHANGED = 2;
+    static public int TREE_DISPLAY_CHANGED        = 3;
+
+
     public DragTree(String name, String background_name, boolean mixed_selection) {
     super();
@@ -452 +457 @@
 
     public void refresh(TreePath path) {
-    ((FileSystemModel)treeModel).refresh(path);
+    if (treeModel instanceof FileSystemModel) {
+        ((FileSystemModel)treeModel).refresh(path);
+    }
+    else {
+        // System.err.println("DragTree::refresh - Tree model is " + treeModel);
+    }
     }