Changeset 4325

Timestamp:

2003-05-26T12:09:12+12:00 (21 years ago)

Author:

mdewsnip

Message:

Changed value tree so tree values are displayed without scrolling to the right.

File:

• trunk/gli/src/org/greenstone/gatherer/valuetree/GValueTree.java (modified) (4 diffs)

trunk/gli/src/org/greenstone/gatherer/valuetree/GValueTree.java

@@ -279 +279 @@
                          TreePath new_path = addNode(value.getText());
                          tree.setSelectionPath(new_path);
-                         tree.scrollPathToVisible(new_path);
+                         // tree.scrollPathToVisible(new_path);
+                         scrollTreePathToVisible(new_path);
                          GValueNode node = (GValueNode)new_path.getLastPathComponent();
                          ///ystem.err.println("2. Set value: " + node.toString());
@@ -537 +538 @@
           if(closest != null) {
                 tree.setSelectionPath(closest);
-                tree.scrollPathToVisible(closest);
+                // tree.scrollPathToVisible(closest);
+                scrollTreePathToVisible(closest);
           }
           ignore = false;
@@ -817 +819 @@
     }
 
+    /** This function is copied from JTree::setPathToVisible(), and modified so tree rows
+    are always shown flushed left. */
+    public void scrollTreePathToVisible(TreePath path) {
+    if (path != null) {
+        tree.makeVisible(path);
+
+        Rectangle bounds = tree.getPathBounds(path);
+
+        if (bounds != null) {
+        bounds.width += bounds.x;
+        bounds.x = 0;
+        tree.scrollRectToVisible(bounds);
+        // if (tree.getAccessibleContext() != null) {
+        //     ((AccessibleJTree) tree.getAccessibleContext()).fireVisibleDataPropertyChange();
+        // }
+        }
+    }
+    }
+
      private class DocumentListenerImpl
           implements DocumentListener {
@@ -864 +885 @@
                      if(closest != null) {
                           tree.setSelectionPath(closest);
-                          tree.scrollPathToVisible(closest);
+                          // tree.scrollPathToVisible(closest);
+                          scrollTreePathToVisible(closest);
                           previous = closest;
                      }