| changeset 59233 | 876a81f5788b |
| parent 59232 | 07a7dfd6d694 |
| child 59236 | 346aada8eb53 |
| 59232:07a7dfd6d694 | 59233:876a81f5788b |
|---|---|
16 |
16 |
17 |
17 |
18 class Visualizer(val model: Model) |
18 class Visualizer(val model: Model) |
19 { |
19 { |
20 visualizer => |
20 visualizer => |
21 |
|
22 |
|
23 /* tooltips */ |
|
24 |
|
25 def make_tooltip(parent: JComponent, x: Int, y: Int, body: XML.Body): String = null |
|
21 |
26 |
22 |
27 |
23 /* main colors */ |
28 /* main colors */ |
24 |
29 |
25 def foreground_color: Color = Color.BLACK |
30 def foreground_color: Color = Color.BLACK |