Hi, In Gnome Terminal the F10 key doesn't activate the Terminal application main menu. This is interesting why happening, because in the Edit menu awailable Shortcut preference pane the F10 key related check box is enabled. In Ubuntu 13.10 and Ubuntu 14.04 development release following packaged Gnome Terminal version are available: 3.6.1-0ubuntu6 Oldest time reported a bug this problem related in Bugzilla, the problem I think already fixed, link is following: https://bugzilla.gnome.org/show_bug.cgi?id=697259
Anybody not known a magical gsettings key to I get back the F10 main menu activation in GNOME Terminal 3.6 version? I using Ubuntu 13.10 with Gnome Shell 3.8 classic session. Attila -- Ubuntu-accessibility mailing list Ubuntu-accessibility@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-accessibility