/**
* 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);
}
