It looks like you have not understood the messages Turtleman and I have exchanged. To make it simple, what is the output of this command (to be executed in a terminal):
$ gsettings get org.gnome.desktop.wm.keybindings panel-main-menu

Reply via email to