/** Handles the event when the mouse is moved */
public void processMouseMotionEvent(MouseEvent e) {
if (e.getID() == MouseEvent.MOUSE_MOVED) {
adjustTimeField(e.getX());
adjustElTimeField();
} else super.processMouseMotionEvent(e);
}
