// TODO: The current approach to click and drag does not work:- fix it.
// Note: Don't confuse this with other, working click-and-drag stuff.
//- Box.displayBorders = false;
boolean userClicked = p.equals(initialPosition);
MouseButton mouseButton = MouseButton.getMouseButton(e);
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();
}