Changeset 11061

Timestamp:

2006-01-19T11:07:58+13:00 (18 years ago)

Author:

mdewsnip

Message:

Patched over a Java 1.4.2 + GTK bug.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java (modified) (2 diffs)

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

@@ -69 +69 @@
         setModel(model);
     }
+
+    // For some reason these aren't set with Java 1.4.2 and the GTK look and feel?
+    if (UIManager.get("Tree.leftChildIndent") == null) {
+        UIManager.put("Tree.leftChildIndent", new Integer(7));
+    }
+    if (UIManager.get("Tree.rightChildIndent") == null) {
+        UIManager.put("Tree.rightChildIndent", new Integer(13));
+    }
     }
 
@@ -88 +96 @@
     this.setShowsRootHandles(true);
     this.setUI(new BasicTreeUI());
+
     // Connection
     addTreeSelectionListener(this);