Disabling scratchpad not working devtools.scratchpad.enable false
I've tried disabling scratchpad putting this line:
lockPref("devtools.scratchpad.enabled", false);
in mozilla.cfg It shows in about:config in italics which indicates that it is being read from the config file. I also tried manually adding via about:config (then it shows up in the prefs.js). What else do I need to do to disable it?
All Replies (6)
Can you please check if the scratchpad comes up, if you disable the setting devtools.scratchpad.enabled by setting the value to false. You can do this by following the instructions in the Mozillazine about modifying the configuration of Mozilla Editing About:Config
Okulungisiwe
Hi Swarnava, I already tried that - (see my original notes above). Can you suggest some other setting that may be causing it not to disable scratchpad?
wshuvlincoal said
Hi Swarnava, I already tried that - (see my original notes above). Can you suggest some other setting that may be causing it not to disable scratchpad?
what is happening if you try to edit pref.js too?
I had already tried that as well, same result, I can still open scratchpad with Shft+F4
user_pref("devtools.scratchpad.enable", false);
Is this feature version dependent? I was running Firefox v43.0.1, I just upgraded to v44.0. I can still open Scratchpad. Could there be some registry setting effecting the operation of the prefs?
Other information that may help figure out the problem 1. For now I am not bit shifting the mozilla config file 2. file path's
c:\Program Files (x86)\Mozilla Firefox\defaults\pref\channel-prefs.js c:\Program Files (x86)\Mozilla Firefox\mozilla.cfg.txt c:\Users\smith\AppData\Roaming\Mozilla\Firefox\Profiles\2i4bpeqe.default-1454023063535\prefs.js
3. Actual file content
channel-prefs.js-----
pref("general.config.obscure_value", 0); pref("general.config.filename", "mozilla.cfg.txt"); pref("app.update.channel", "release");
mozilla.cfg.txt-----
lockPref("devtools.scratchpad.enabled", false);
prefs.js----
user_pref("devtools.scratchpad.enable", false);
Note that devtools.scratchpad.enable without the trailing 'd' is a non existent pref and can be removed via the about:config page via a reset.
Unfortunately those prefs aren't working to disable the Scratchpad on startup. It works if I toggle the Scratchpad on/off in the Developer Toolbox (Ctrl+F2), but the initialization code doesn't take the enabled prefs into account.
Bug 934497 - Add option to disable developer tools Bug 939974 - Scratchpad and Responsive Design View don't honor enable/disable preferences
Please do not comment in bug reports
https://bugzilla.mozilla.org/page.cgi?id=etiquette.html