*-* On Fri, 26 Jul 2013, at 11:31:11 -0400,
*-* In Article
<mailman.1600.1374852676.15402.support-seamon...@lists.mozilla.org>,
*-* Lee wrote
*-* About Re: user.js
On 7/25/13, Hartmut Figge <[email protected]> wrote:
Hartmut Figge:
Or you could enhance your idea. The first line of the user.js
could be user_pref("01.user.js.file.loaded", "Maybe");
Better:
user_pref("01.user.js.file.loaded", "Error in user.js");
and the last line
user_pref("01.user.js.file.loaded", "OF COURSE!");
That is a great idea - anyone else think it should be included in
the default user.js?
There is no "default" user.js file. The file doesn't exist
until it's created when the first entry is added.
Ken Whiton
--
FIDO: 1:132/152
InterNet: [email protected] (remove the obvious to reply)
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
