> we could create mozilla/modules/libpref/src/init/developer.js and
> default that pref to be true.
> 
> we just wouldn't package it by default, so only developers would have
> it.  (official builds would not.)

That's a very good idea. I'm sure there are a few other prefs that need to
go in there as well.

Gerv

Reply via email to