https://www.omgubuntu.co.uk/2009/08/speed-up-auto-hide-on-gnome-panels