public void mouseMoved(MouseEvent e) {
super.mouseMoved(e);
// code to respond to mouse motion:
// ------------------------------------------------------------------
// ------------------------------------------------------------------
}
