/**
  * 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);
 }
 public void update(AWTGLAutoDrawable window) {
   window.repaint();
 }
 /**
  * Sets up a MouseListener and MouseMotionListener for the given window. Since an
  * application-level MouseListener or MouseMotionListener might want to intercept events and not
  * pass them on to the ManipManager without relying on the ordering of listeners for the canvas
  * (see the ExaminerViewer class), the setupMouseListeners and removeMouseListeners routines, as
  * well as the appropriate delegate routines, are made public here.
  */
 public synchronized void setupMouseListeners(AWTGLAutoDrawable window) {
   window.addMouseMotionListener(mouseMotionListener);
   window.addMouseListener(mouseListener);
 }