&& (bounds.getWidth() < pixelTolerance || bounds.getHeight() < pixelTolerance)) {
stopDragging();
// click behavior instead of drag
ToggleSelectionAction action = new ToggleSelectionAction(mapWidget, priorityToSelectedLayer,
pixelTolerance);
action.toggle(getScreenPosition(event), !shiftOrCtrl);
return;
}
}
// normal "rectangle" handling
super.onMouseUp(event);