87 |
import javax.swing.event.TreeSelectionListener; |
import javax.swing.event.TreeSelectionListener; |
88 |
import javax.swing.plaf.ComponentUI; |
import javax.swing.plaf.ComponentUI; |
89 |
import javax.swing.plaf.TreeUI; |
import javax.swing.plaf.TreeUI; |
|
import javax.swing.plaf.metal.MetalIconFactory; |
|
90 |
import javax.swing.tree.AbstractLayoutCache; |
import javax.swing.tree.AbstractLayoutCache; |
91 |
import javax.swing.tree.FixedHeightLayoutCache; |
import javax.swing.tree.FixedHeightLayoutCache; |
92 |
import javax.swing.tree.DefaultMutableTreeNode; |
import javax.swing.tree.DefaultMutableTreeNode; |
2669 |
descent += getRowHeight(); |
descent += getRowHeight(); |
2670 |
y0 += halfHeight; |
y0 += halfHeight; |
2671 |
} |
} |
2672 |
|
|
2673 |
int max = mod.getChildCount(curr); |
int max = mod.getChildCount(curr); |
2674 |
if (tree.isExpanded(new TreePath(((DefaultMutableTreeNode) curr) |
if (tree.isExpanded(new TreePath(((DefaultMutableTreeNode) curr) |
2675 |
.getPath()))) |
.getPath()))) |
2694 |
} |
} |
2695 |
return descent; |
return descent; |
2696 |
} |
} |
|
|
|
2697 |
} // BasicTreeUI |
} // BasicTreeUI |