<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    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.<br>
    <br>
    <br>
    <br>
    <div class="moz-signature">-- <br>
      <font size="2">Kind Regards,</font><br>
      <b>John Oliver</b><br>
      <a class="moz-txt-link-abbreviated" href="mailto:jp.oliver@ntlworld.com">jp.oliver@ntlworld.com</a></div>
  </body>
</html>