Changeset 11062


Ignore:
Timestamp:
2006-01-19T11:13:02+13:00 (18 years ago)
Author:
mdewsnip
Message:

Bugger... put the previous fix in the wrong place.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/gui/tree/DragTree.java

    r11061 r11062  
    6565    {
    6666    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
    6776    init(name, mixed_selection);
    6877    if (model != null) {
    6978        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));
    7879    }
    7980    }
Note: See TracChangeset for help on using the changeset viewer.