Re: config

[Kasper Peeters <K.Peeters@damtp.cam.ac.uk>]

> ah I see. I thought you were talking about proxy oils not proxy
> servers :-) 

Well, a toggle that switches the use of the proxy oil on and off would
also do no harm (I hate having to go to the network preferences for a
simple thing like that). If you are forced to use a proxy, eg. because
you are behind a firewall, having it somewhere hidden inside the
preferences is probably fine, but if you use eg. a spam filter like
junkbuster, it is sometimes useful to have a quick method to load the
page without going through the proxy.

I guess the general lesson here is: in GUI design, don't be influenced
too much by what Netscape has put on our desktop (I have a few
suggestions for a rather different approach to history/bookmarks in
this respect as well, later).

Kasper

-

         -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
         Mnemonic Browser Project - http://www.mnemonic.browser.org/
                           Developers Mailinglist
             Archive: http://www.mnemonic.browser.org/list/dev/
         -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-