mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-29 15:52:07 +00:00
Backed out changeset 5cc333cb4b97 (bug 1007059) for failures in browser_dynamic_tool_enabling.js; CLOSED TREE
This commit is contained in:
parent
62d7c81c26
commit
9b606fb00a
@ -1280,8 +1280,8 @@ pref("devtools.appmanager.enabled", true);
|
||||
pref("devtools.appmanager.lastTab", "help");
|
||||
pref("devtools.appmanager.manifestEditor.enabled", true);
|
||||
|
||||
// Enable DevTools WebIDE by default
|
||||
pref("devtools.webide.enabled", true);
|
||||
// Disable devtools webide until bug 1007059
|
||||
pref("devtools.webide.enabled", false);
|
||||
|
||||
// Toolbox preferences
|
||||
pref("devtools.toolbox.footer.height", 250);
|
||||
|
Loading…
Reference in New Issue
Block a user