else {
// Don't go deeper if in edition mode
// If mouse over a widget, highlight it
FunctionShape s = getShapeUnderMouse();
if (s != null) {
s.drawHighlight();
highlightFunctionShape = s;
}
else if (highlightFunctionShape != null) {
highlightFunctionShape.draw();
highlightFunctionShape = null;