Correct and simplify buttonreleased() gdk event