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