Personally, I think that the code should continue to be maintained. The
argument being put forth sounds to me like "It is not the default,
therefore no-one can have it". This argument does not work - look at
Windows - the taskbar has an autohide option. Look at OS X; the much
gone-on-about "full screen" mode (a.k.a. hide the dock) has just been added.
--
Kind Regards,
*John Oliver*
jp.oli...@ntlworld.com
--
ubuntu-uk@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk
https://wiki.ubuntu.com/UKTeam/