Gnome: ocultar rápidamente el panel

Podemos ocultar el panel si marcamos “ocultar automáticamente”, pero siempre se ven unos cuantos pixeles (6 por defecto), podemos hacer que se vean menos (ahorrando espacio):

ALT-F2 > “gconf-editor” > apps > panel > toplevels > top_panel_screen0 > auto_hide_size > 3

La velocidad con la que se oculta el panel está a 500ms por defecto, pero podemos cambiarlo para que sea mucho más rápido, p.ej. a 10ms.

ALT-F2 > “gconf-editor” > apps > panel > toplevels > top_panel_screen0 > unhide_delay > 10