I reproduced this issue in Ubuntu 14.04 development release, the GNOME Shell environment absolute sure. Because I using only with keyboard the gnome-terminal application and screen reader support, if this working method not a bug, anybody please tell me what gconf/gsettings key I have possibility enable again the F10 key main menubar activation possibility. The edit menu, shortcut preference pane awailable F10 related check box possible nothing doing, I not see any gsettings value changes if I changing this check box state and closed the prerefence pane. Before I changing checkbox state, I ran gsettings list-recursively >filename1 command. After this, I changed the checkbox state and ran again gsettings list-recursively >file2 command, and doed a diff -u file1 file2 command to look the differences. Unfortunately not have differences. :-(:-(
I tryed compiling an original upstream gnome-terminal 3.8 release from git, but because have dependency problems with ./autogen.sh command, I not succesfuly doing the upstream verification. In gnome-terminal upstream 3.8 source tree the ./autogen.sh give following errors: configure: error: Package requirements (vte-2.90 >= 0.34.6 glib-2.0 >= 2.32.0 gio-2.0 >= 2.33.2 gtk+-3.0 >= 3.6.0 gsettings-desktop-schemas >= 0.1.0 dconf >= 0.12.0 uuid x11) were not met: No package 'dconf' found No package 'uuid' found Consider adjusting the PKG_CONFIG_PATH environment variable if you installed software in a non-standard prefix. Alternatively, you may set the environment variables TERM_CFLAGS and TERM_LIBS to avoid the need to call pkg-config. See the pkg-config man page for more details. Attila -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1253913 Title: In Gnome Terminal F10 key not activating menu bar Status in “gnome-terminal” package in Ubuntu: New Bug description: Dear Developers, My Ubuntu Saucy installation the Gnome Terminal F10 key not activating main menu bar, independent if checked the F10 key related check box in Shortcuts preference pane or not. My previous Saucy installation after I upgraded with GNOME 3.10 version I experienced similar results. When I previous upgraded, I added ppa:gnome3-team/gnome3, gnome3-team/staging, and gnome3-team/gnome3-next ppa's and doed an apt-get dist-upgrade command. I using Saucy with GNOME Shell classic session mode the Orca Screen Reader. Have chance this bug existing in Ubuntu 14.04 development release too. Attila ProblemType: Bug DistroRelease: Ubuntu 13.10 Package: gnome-terminal 3.6.1-0ubuntu6 ProcVersionSignature: Ubuntu 3.11.0-13.20-generic 3.11.6 Uname: Linux 3.11.0-13-generic i686 ApportVersion: 2.12.5-0ubuntu2.1 Architecture: i386 Date: Fri Nov 22 08:39:00 2013 InstallationDate: Installed on 2013-11-21 (0 days ago) InstallationMedia: BeLin 3.02 i386 MarkForUpload: True SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1253913/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp

