I recommend investigating how to get this into gnome-keybinding-properties, like the panel main menu shortcut key, etc :)
I recommend investigating how to get this into gnome-keybindin g-properties, like the panel main menu shortcut key, etc :)