On Thu, 14 Mar 2019 02:04:50 -0400, "Paul B. Gallagher"
in mozilla.support.seamonkey wrote:
>David E. Ross wrote:
>
>> I always use user.js to set preference variables to non-default
>> values. That is because I can annotate each setting with a comment
>> (// on the beginning of the line) to
David E. Ross wrote:
On 3/13/2019 11:04 PM, Paul B. Gallagher wrote:
David E. Ross wrote:
I always use user.js to set preference variables to non-default
values. That is because I can annotate each setting with a comment
(// on the beginning of the line) to remind me why I have a
non-default
On 3/13/2019 11:04 PM, Paul B. Gallagher wrote:
> David E. Ross wrote:
>
>> I always use user.js to set preference variables to non-default
>> values. That is because I can annotate each setting with a comment
>> (// on the beginning of the line) to remind me why I have a
>> non-default value.
>
On Thu, 14 Mar 2019 09:28:35 +, Dirk Fieldhouse <"Not Saying"> in
mozilla.support.seamonkey wrote:
>On 14/03/19 01:04, j...@comcast.com wrote:
>> in OS win 7, 64bit..
>> will "user_pref("config.trim_on_minimize", true);" achieve the desired
>> effect of reducing memory usage if added to
On 14/03/19 01:04, j...@comcast.com wrote:
> in OS win 7, 64bit..
> will "user_pref("config.trim_on_minimize", true);" achieve the desired
> effect of reducing memory usage if added to Seamonkey's prefs.js.
>...
No: because this setting was specific to Windows XP and you have Windows
7 and
David E. Ross wrote:
I always use user.js to set preference variables to non-default
values. That is because I can annotate each setting with a comment
(// on the beginning of the line) to remind me why I have a
non-default value.
OK, syntax question: Does a comment have to be on a separate
On 3/13/2019 6:04 PM, j...@comcast.com wrote:
> in OS win 7, 64bit..
> will "user_pref("config.trim_on_minimize", true);" achieve the desired
> effect of reducing memory usage if added to Seamonkey's prefs.js.
>
> how should the preference be added? should it be in user.js or prefs.js?
>
>
j...@comcast.com composed on 2019-03-13 21:04 (UTC-0400):
> how should the preference be added? should it be in user.js or prefs.js?
> Other than protocol, does it really make any difference which file it
> would be added to?
You should not write to prefs.js. You can read it. For user.js it's
in OS win 7, 64bit..
will "user_pref("config.trim_on_minimize", true);" achieve the desired
effect of reducing memory usage if added to Seamonkey's prefs.js.
how should the preference be added? should it be in user.js or prefs.js?
Other than protocol, does it really make any difference
9 matches
Mail list logo