Nils Ellmenreich wrote:
> That's not quite a solution, because you'd have to quit Mozilla to
> change it.
That's just a matter of an interface. The pref do supports switching at
runtime, I think. You mioght be able to set it in the JS console - never
tried it. Otherwise, there's a bug about a UI.
> All theses capabilities we've talked about sometimes inhibit you to
> see a particular web page.
I'll take your word, but I didn't come across a page yet that would
block Mozilla due to the UA, I think.
> Related to this, there's a bunch of other options/prefs you frequently
> want to change at runtime (I think we've talked about it in a previous
> thread). Anyone seen the "Settings" menu in galeon? That's all you
> need, it's extremely useful. But all the Mozilla bugs filed on this
> topic seem to go nowhere .... :-(
There's something bigger, together with a sidebar UI planned, I think.
No ETA.
