https://www.omgubuntu.co.uk/2009/03/speed-up-auto-hide-panels