-
Pavel Grunt authored
Windows does not send any release key event for one of the shift keys when both shift keys were pressed together. This commit solves the problem by sending the extra release key event for the shift key which was released as first, when the other shift key is released. Other modifiers (e.g. Ctrl, Alt) do not have this problem. https://bugzilla.gnome.org/show_bug.cgi?id=751721
44608dad