themes on-the-fly

[Dan Howard]

I'm running build 2002010403 and I just stumbled across a cool bonus.
This build allows switching chromes without restarting Mozilla.  Thanks
to whoever implemented this handy feature.  I hope it stays in future
builds.

Dan