Don't use navigator to read preferences, use Firebug.getPref instead.
Don't use navigator to read preferences, use Firebug.getPref instead.

http://code.google.com/p/fbug/source/detail?r=7017

firebug/tracing-console,firebug/tracing-console