Changeset 11061
- Timestamp:
- 2006-01-19T11:07:58+13:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java
r10691 r11061 69 69 setModel(model); 70 70 } 71 72 // For some reason these aren't set with Java 1.4.2 and the GTK look and feel? 73 if (UIManager.get("Tree.leftChildIndent") == null) { 74 UIManager.put("Tree.leftChildIndent", new Integer(7)); 75 } 76 if (UIManager.get("Tree.rightChildIndent") == null) { 77 UIManager.put("Tree.rightChildIndent", new Integer(13)); 78 } 71 79 } 72 80 … … 88 96 this.setShowsRootHandles(true); 89 97 this.setUI(new BasicTreeUI()); 98 90 99 // Connection 91 100 addTreeSelectionListener(this);
Note:
See TracChangeset
for help on using the changeset viewer.