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"
This update fixes the following issue for gtk3:
- bnc#782291: discrimate shift-f10 and f10