|
@@ -31,12 +31,12 @@ import java.awt.Color;
|
31
|
31
|
import java.awt.Component;
|
32
|
32
|
import java.awt.Dimension;
|
33
|
33
|
|
|
34
|
+import javax.swing.BorderFactory;
|
34
|
35
|
import javax.swing.JLabel;
|
35
|
36
|
import javax.swing.JTree;
|
|
37
|
+import javax.swing.UIManager;
|
36
|
38
|
import javax.swing.tree.TreeCellRenderer;
|
37
|
39
|
|
38
|
|
-import net.miginfocom.layout.PlatformDefaults;
|
39
|
|
-
|
40
|
40
|
/**
|
41
|
41
|
* Displays a node in a tree according to its type.
|
42
|
42
|
*/
|
|
@@ -135,9 +135,9 @@ public class TreeViewTreeCellRenderer implements TreeCellRenderer,
|
135
|
135
|
label.setBackground(background);
|
136
|
136
|
label.setOpaque(true);
|
137
|
137
|
label.setTextStyle(styliser, sb.toString());
|
138
|
|
- label.setPreferredSize(new Dimension(100000, label.getFont().getSize()
|
139
|
|
- + (int) (PlatformDefaults.getUnitValueX("related").
|
140
|
|
- getValue())));
|
|
138
|
+ label.setBorder(BorderFactory.createEmptyBorder(1, 0, 2, 0));
|
|
139
|
+ label.setPreferredSize(new Dimension(100000, tree.getFontMetrics(
|
|
140
|
+ UIManager.getFont("Tree.font")).getHeight() + 2));
|
141
|
141
|
|
142
|
142
|
return label;
|
143
|
143
|
}
|