diff options
Diffstat (limited to 'libre/icecat/devtools-appmanager.patch')
| -rw-r--r-- | libre/icecat/devtools-appmanager.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/libre/icecat/devtools-appmanager.patch b/libre/icecat/devtools-appmanager.patch new file mode 100644 index 000000000..0770abc31 --- /dev/null +++ b/libre/icecat/devtools-appmanager.patch @@ -0,0 +1,17 @@ +diff -Nur a/browser/app/profile/icecat.js b/browser/app/profile/icecat.js +--- a/browser/app/profile/icecat.js 2014-10-21 09:53:09.000000000 -0200 ++++ b/browser/app/profile/icecat.js 2014-12-19 14:33:04.453900819 -0200 +@@ -1235,9 +1235,10 @@ + pref("devtools.commands.dir", ""); + + // Enable the app manager +-pref("devtools.appmanager.enabled", true); +-pref("devtools.appmanager.lastTab", "help"); +-pref("devtools.appmanager.manifestEditor.enabled", true); ++// Note: to enable appmanager is necessary to use a 100% free "Firefox OS" distribution. ++pref("devtools.appmanager.enabled", false); ++pref("devtools.appmanager.lastTab", ""); ++pref("devtools.appmanager.manifestEditor.enabled", false); + + // Toolbox preferences + pref("devtools.toolbox.footer.height", 250); |