gtk3: discrimate shift-f10 and f10
This update fixes the following issue for gtk3:
- bnc#782291: discrimate shift-f10 and f10
-
Submitted by
David Liang (dliang)
Fixed bugs
bnc#782291
GNOME Terminal does not honor "Enable menu shortcut key"