equal
deleted
inserted
replaced
86 }) |
86 }) |
87 |
87 |
88 private val tree_pane = new ScrollPane(Component.wrap(tree)) |
88 private val tree_pane = new ScrollPane(Component.wrap(tree)) |
89 tree_pane.horizontalScrollBarPolicy = ScrollPane.BarPolicy.Always |
89 tree_pane.horizontalScrollBarPolicy = ScrollPane.BarPolicy.Always |
90 tree_pane.verticalScrollBarPolicy = ScrollPane.BarPolicy.Always |
90 tree_pane.verticalScrollBarPolicy = ScrollPane.BarPolicy.Always |
91 tree_pane.minimumSize = new Dimension(100, 100) |
91 tree_pane.minimumSize = new Dimension(200, 100) |
92 tree_pane.peer.getVerticalScrollBar.setUnitIncrement(10) |
92 tree_pane.peer.getVerticalScrollBar.setUnitIncrement(10) |
93 |
93 |
94 |
94 |
95 /* controls */ |
95 /* controls */ |
96 |
96 |