provide edit field in about:config, to allow users to set prefs without UI, without restarting.

VERIFIED FIXED

Status

SeaMonkey
Preferences
VERIFIED FIXED
16 years ago
10 years ago

People

(Reporter: (not reading, please use seth@sspitzer.org instead), Assigned: (not reading, please use seth@sspitzer.org instead))

Tracking

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(1 attachment)

provide edit field in about:config, to allow users to set prefs without UI, 
without restarting.
cc mstoltz, as there might be some security concerns with doing this.
Status: NEW → ASSIGNED
Blocks: 14969
No longer blocks: 14969
Component: Browser-General → Preferences

Comment 2

16 years ago
Created attachment 65385 [details] [diff] [review]
add a pref editor to about:config

well, inline editing seemed like a lot of work, but it was easy to add a little
editor at the top of the window. It adds a text field for string and integer
prefs, and a dropdown true/false for boolean prefs

Since you can now change prefs on the fly, I changed the outliner view to be
lazy - which means that instead of caching every pref value, we lazily get the
pref value whenever getCellText() is called..which should be whenever we paint.

The only thing we cache now is the pref name, and the pref type.
unfortunately, we paint way too much, so it slows things down a bit.

this also slows down sorting of the lock state and the pref value, because we
now have to go look up that information for each comparison.

However, I think it's worth it for the huge addition in usability. I also added
the capability to clear the user pref, essentially setting it back to the
original value set by the user.

Anyone care to review? sspitzer?

Updated

16 years ago
Keywords: mozilla1.0

Comment 3

16 years ago
adding self to cc list

Comment 4

16 years ago
This doesnt look like it's going in for mozilla 1.0 (dont see any 
nominations, etc.) So perhaps the owner might put a new more realistic 
target milestone, etc. on the bug?

Is this patch the one the owner wants  to go with and try to get in?

Comment 5

16 years ago
no, I talked with seth ("the owner") a while back about this - I had made too
many other changes to this file for him to be happy with the patch - for
instance, making the outliner fields lazy... I don't remember the exact reasons,
but after talking with him, we both agreed we'd go back to making the outliner
be non-lazy
OS: Windows 2000 → All
QA Contact: doron → sairuh
Hardware: PC → All

Comment 6

16 years ago
without editing capabilities, about:config is next to useless
That's a stupid assertion. Is the temperature gauge on my car "next to useless"
because I can't solve an overheating problem by adjusting it down?

The main reason about:config even exists in Mozilla is because people who used
the Communicator 4.x feature (also read only) complained so loudly about it
being missing in earlier versions.

Comment 8

16 years ago
let's not stoop into petty bickering.

what I meant was that, right now, if an option is not available in GUI, one has
to exit moz, edit prefs.js by hand, and start moz again.
this is quite ugly.

the reload button on about:config should re-read prefs.js.

Comment 9

16 years ago
Is Bug 17199 a duplicate of this?
No, this is an alternate baby step that may accomplish some of the goals people
were trying to get with bug 17199, though less conveniently. They're mutually
contradictory solutions; this is a possible short-term improvement while lots of
folks still want the pie-in-the-sky bug 17199.

There are add-ons at mozdev.org that do this already, so there's may not be a
lot of incentive to work on this one.
Is there a bug about documenting what prefs are currently available for use?
Bug 121324 might be what you are looking for, but is very underused.

Comment 13

15 years ago
Patch in bug 107418 should resolve this if it lands.
Depends on: 107418

Comment 14

15 years ago
about:config is now editable - I think it was done in bug 107418, although the
summary of the bug doesn't say so. Is there anything else left to do in this
bug? Shouldn't it be resolved dupe of bug 107418?
See also bug 195845 for a description for prefs.

Please don't mark this VERIFIED unless you actually tested to see if comment
#13's patch has in fact added a field for editing prefs to about:config.
Status: ASSIGNED → RESOLVED
Last Resolved: 15 years ago
Resolution: --- → FIXED

Comment 16

15 years ago
Yes, I have myself used that feature already. Just double-click on the pref name
in about:config, or right-click and choose Modify in the context menu. Verifying.
Status: RESOLVED → VERIFIED
Product: Browser → Seamonkey
You need to log in before you can comment on or make changes to this bug.