Responder responder = getModes().getResponder();
if (userClicked) {
boolean singleClick = e.getClickCount()==1;
responder.respondToMouseClick(mouseButton, singleClick, p);
} else {
responder.respondToMouseDrag(mouseButton, initialPosition, p);
}
getKetPanel().updateForAnimatedDisplay(); // <---------------- animate.
getKetPanel().updateAndRepaint();
getMathCollection().updateUndoStack();
}