Is there a way to assign a keyboard shortcut to hide or unhide a specific gnome-panel?
EDIT: Is there was a way to make a button combination have the auto-hide panel slide out, as if I had hovered my mouse on that side of the screen?
There is a trick to do that.
Part One - How to hide/show all gnome panels
1) Make this file:
2) Paste this into it:
4) Make it executable:
sudo chmod +x ~/.gpnaelhs
5) Make a shortcut for it:
6) Click "Add" and put a name (p. ex. "Gnome Panel Hide - Unhide") and the command
7) Click "Ok"
8) Click "Disable" and choose your shortcut (p. ex. Ctrl + P
Part Two - How to hide/show only one gnome panel
1) First please backup your settings
gconftool --dump /apps/panel > ~/.panel.settings.backup.xml
mkdir ~/.panel.folders.backup && cp -r ~/.gconf/apps/panel/toplevels/ ~/.panel.folders.backup/
2) Now we have to do 2 things. First: edit the file ~/.gpnaelhs and change "/apps/panel/toplevels" for "/apps/panel/toplevels/panel_0" (change the number as needed).
3) Then: delete the folders named panel_0 or panel_1 or panel_2 ... at /apps/panel/toplevels.