public void mouseExited(MouseEvent e) {
super.mouseExited(e);
// code to respond to mouse exiting window:
// ------------------------------------------------------------------
// ------------------------------------------------------------------
}
