src/share/classes/java/awt/MouseInfo.java
Print this page
*** 74,84 ****
throw new HeadlessException();
}
SecurityManager security = System.getSecurityManager();
if (security != null) {
! security.checkPermission(SecurityConstants.WATCH_MOUSE_PERMISSION);
}
Point point = new Point(0, 0);
int deviceNum = Toolkit.getDefaultToolkit().getMouseInfoPeer().fillPointWithCoords(point);
GraphicsDevice[] gds = GraphicsEnvironment.getLocalGraphicsEnvironment().
--- 74,84 ----
throw new HeadlessException();
}
SecurityManager security = System.getSecurityManager();
if (security != null) {
! security.checkPermission(SecurityConstants.AWT.WATCH_MOUSE_PERMISSION);
}
Point point = new Point(0, 0);
int deviceNum = Toolkit.getDefaultToolkit().getMouseInfoPeer().fillPointWithCoords(point);
GraphicsDevice[] gds = GraphicsEnvironment.getLocalGraphicsEnvironment().