if (!operationPerformed) {
// nothing done so forward the event to the dispatcher
AbstractEventDispatcher dispatcher =
(AbstractEventDispatcher)userAgent.getEventDispatcher();
if (dispatcher != null) {
dispatcher.mouseReleased(e);
}
}
}
public void mouseMoved(MouseEvent e) {