equal
deleted
inserted
replaced
45 horizontalScrollBarPolicy = ScrollPane.BarPolicy.Always |
45 horizontalScrollBarPolicy = ScrollPane.BarPolicy.Always |
46 verticalScrollBarPolicy = ScrollPane.BarPolicy.Always |
46 verticalScrollBarPolicy = ScrollPane.BarPolicy.Always |
47 |
47 |
48 private val gfx_aux = |
48 private val gfx_aux = |
49 new BufferedImage(1, 1, BufferedImage.TYPE_INT_RGB).createGraphics |
49 new BufferedImage(1, 1, BufferedImage.TYPE_INT_RGB).createGraphics |
50 gfx_aux.setFont(visualizer.Font()) |
50 gfx_aux.setFont(visualizer.font) |
51 gfx_aux.setRenderingHints(visualizer.rendering_hints) |
51 gfx_aux.setRenderingHints(visualizer.rendering_hints) |
52 |
52 |
53 def node(at: Point2D): Option[String] = |
53 def node(at: Point2D): Option[String] = |
54 visualizer.model.visible_nodes() |
54 visualizer.model.visible_nodes() |
55 .find(name => visualizer.Drawer.shape(gfx_aux, Some(name)).contains(at)) |
55 .find(name => visualizer.Drawer.shape(gfx_aux, Some(name)).contains(at)) |