Changeset 11062
- Timestamp:
- 2006-01-19T11:13:02+13:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java
r11061 r11062 65 65 { 66 66 super(); 67 68 // For some reason these aren't set with Java 1.4.2 and the GTK look and feel? 69 if (UIManager.get("Tree.leftChildIndent") == null) { 70 UIManager.put("Tree.leftChildIndent", new Integer(7)); 71 } 72 if (UIManager.get("Tree.rightChildIndent") == null) { 73 UIManager.put("Tree.rightChildIndent", new Integer(13)); 74 } 75 67 76 init(name, mixed_selection); 68 77 if (model != null) { 69 78 setModel(model); 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 79 } 79 80 }
Note:
See TracChangeset
for help on using the changeset viewer.