| changeset 60849 | 6e49311ef842 |
| parent 60847 | 239d7714392b |
| child 60873 | 974d9acb2b87 |
| 60848:7ec20b1c8dc9 | 60849:6e49311ef842 |
|---|---|
118 tree.setRootVisible(false) |
118 tree.setRootVisible(false) |
119 tree.setVisibleRowCount(visible) |
119 tree.setVisibleRowCount(visible) |
120 } |
120 } |
121 |
121 |
122 private val tree_view = new JScrollPane(tree) |
122 private val tree_view = new JScrollPane(tree) |
123 tree_view.setMinimumSize(new Dimension(100, 50)) |
123 tree_view.setMinimumSize(new Dimension(200, 50)) |
124 |
124 |
125 set_content(tree_view) |
125 set_content(tree_view) |
126 } |
126 } |