equal
deleted
inserted
replaced
146 { |
146 { |
147 val font_height = GUI.line_metrics(graphview.metrics.font).getHeight.toInt |
147 val font_height = GUI.line_metrics(graphview.metrics.font).getHeight.toInt |
148 (scale * font_height).floor / font_height |
148 (scale * font_height).floor / font_height |
149 } |
149 } |
150 |
150 |
151 def apply() = |
151 def apply(): AffineTransform = |
152 { |
152 { |
153 val box = graphview.bounding_box() |
153 val box = graphview.bounding_box() |
154 val t = AffineTransform.getScaleInstance(scale_discrete, scale_discrete) |
154 val t = AffineTransform.getScaleInstance(scale_discrete, scale_discrete) |
155 t.translate(- box.x, - box.y) |
155 t.translate(- box.x, - box.y) |
156 t |
156 t |