Always Right: Stefano Forenza - Personal Blog
Script to enable disable panels auto hide

Script to enable disable panels auto hide

You may remember about an old post of mine where I show a little trick to make gnome panel auto-hiding actually usable. I have been pleased, today, to find a script automating the whole thing, so I thought I'd share. The code belongs ...