/** * Removes the automatically-installed mouse listeners for the given window. This allows * application code to determine the policy for intercepting mouse events. */ public synchronized void removeMouseListeners(AWTGLAutoDrawable window) { window.removeMouseMotionListener(mouseMotionListener); window.removeMouseListener(mouseListener); }