(Graphics graphics)
| 1890 | Theme.scale(475), Theme.scale(300)); |
| 1891 | final Window window = new Window(activeEditor) { |
| 1892 | public void paint(Graphics graphics) { |
| 1893 | Graphics2D g = Theme.setupGraphics2D(graphics); |
| 1894 | g.drawImage(image, 0, 0, null); |
| 1895 | |
| 1896 | Font f = new Font("SansSerif", Font.PLAIN, Theme.scale(11)); |
| 1897 | g.setFont(f); |
| 1898 | g.setColor(new Color(0,151,156)); |
| 1899 | g.drawString(BaseNoGui.VERSION_NAME_LONG, Theme.scale(33), Theme.scale(20)); |
| 1900 | } |
| 1901 | }; |
| 1902 | window.addMouseListener(new MouseAdapter() { |
| 1903 | public void mousePressed(MouseEvent e) { |
nothing calls this directly
no test coverage detected