On 2005-02-07 18:41:34 +0100, Mike Hommey wrote: > As a workaround, i'd suggest you to put the properties in the prefs.js > files in users profile directories.
A better workaround: set browser.tabs.extensions.default.preset to some non-empty value. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]