Ubuntu 13.10: in GNOME Terminal the F10 menu activation key combination not work

[Hammer Attila]

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