Stefan Sichler - 2016-10-11

PLEASE DISREGARD THIS PATCH, because the behaviour of the Mouse FSM was already correct before. It just behaved wrong on my desktop, because "button-press-event"s were processed twice instead of once.
This seems to be a bug and is related to the handler returning 'FALSE'. When the handler returns 'TRUE' instead, everything seems to work correctly.