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().