This is really for my benefit, in case I forget, but might also help somebody else who finds this annoyance.
I use google chrome to get at bits of the web that certain corporate proxies don’t allow. I use an ssh tunnel to a tinyproxy instance running on my home machine and then connect to the forwarded port on my local machine.
Something that has annoyed me for some time is that if you change google’s proxy settings, it affects the system proxy settings. It’s like Internet Explorer all over again, and it doesn’t tell you it’s doing it.
There are bugs:
but the windows equivalent was closed “WONTFIX” for spurious reasons (IMHO, of course).
There is a way around it, though: