equal
deleted
inserted
replaced
74 throw new HeadlessException(); |
74 throw new HeadlessException(); |
75 } |
75 } |
76 |
76 |
77 SecurityManager security = System.getSecurityManager(); |
77 SecurityManager security = System.getSecurityManager(); |
78 if (security != null) { |
78 if (security != null) { |
79 security.checkPermission(SecurityConstants.WATCH_MOUSE_PERMISSION); |
79 security.checkPermission(SecurityConstants.AWT.WATCH_MOUSE_PERMISSION); |
80 } |
80 } |
81 |
81 |
82 Point point = new Point(0, 0); |
82 Point point = new Point(0, 0); |
83 int deviceNum = Toolkit.getDefaultToolkit().getMouseInfoPeer().fillPointWithCoords(point); |
83 int deviceNum = Toolkit.getDefaultToolkit().getMouseInfoPeer().fillPointWithCoords(point); |
84 GraphicsDevice[] gds = GraphicsEnvironment.getLocalGraphicsEnvironment(). |
84 GraphicsDevice[] gds = GraphicsEnvironment.getLocalGraphicsEnvironment(). |