equal
deleted
inserted
replaced
108 visualizer.model.Mutators.events += { case _ => repaint() } |
108 visualizer.model.Mutators.events += { case _ => repaint() } |
109 |
109 |
110 apply_layout() |
110 apply_layout() |
111 fit_to_window() |
111 fit_to_window() |
112 |
112 |
113 protected object Transform { |
113 private object Transform |
|
114 { |
114 val padding = (4000, 2000) |
115 val padding = (4000, 2000) |
115 |
116 |
116 private var _scale = 1.0 |
117 private var _scale = 1.0 |
117 def scale = _scale |
118 def scale = _scale |
118 def scale_= (s: Double) = |
119 def scale_= (s: Double) = |