// Border what the mouse is currently over.
boolean normalMode = document.getModes().getDocumentState()==DocumentState.NORMAL;
if (normalMode) {
Position p = new Position(e.getX(), e.getY());
Box deepest = ketPanel.findDeepestBox(p);
ketPanel.markBorder(deepest);
ketPanel.repaint();
} else {
if (responder==mode.getMouseResponder()) {
mouseLoop.clear();
} else if (mode.getDocumentState().isTracked() || responder==mode.getNormalResponder()) {