Fixes editor not reacting to some key events.
The editor now does select widgets only after the button is released. This changes the behaviour of dragging widgets. Only if no widget was selected when starting dragging it will select the widget the mouse was pressed on.