| changeset 59387 | d15a96149703 |
| parent 59201 | 702e0971d617 |
| child 60998 | 42cebb02b5ae |
| 59386:32b162d1d9b5 | 59387:d15a96149703 |
|---|---|
77 |
77 |
78 /* text */ |
78 /* text */ |
79 |
79 |
80 val text = new TextArea { |
80 val text = new TextArea { |
81 editable = false |
81 editable = false |
82 columns = 50 |
82 columns = 65 |
83 rows = 20 |
83 rows = 24 |
84 } |
84 } |
85 |
85 |
86 val scroll_text = new ScrollPane(text) |
86 val scroll_text = new ScrollPane(text) |
87 |
87 |
88 |
88 |