Firefox -- correction

I wrote:

> One unexpected consequence is: on the laptop firefox now detects the lack
> of a title bar and conveniently adds three new symbols on top right on the
> laptop:
>
>     underscore -> minimise (has to be retrieved from iconmanager)
>     box        -> toggle between maximise and minimise.
>                   (Symbol becomes smaller when window is maximised,)
>     cross      -> delete window

Correction. That should have been

     box        -> toggle between maximise and normal size. (!)
                   (Symbol becomes smaller when window is maximised,)

Brain fried ...
Aaron
http://www.cs.bham.ac.uk/~axs