diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/prefs/Set-javascript.options.showInConsole.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/patches/prefs/Set-javascript.options.showInConsole.patch b/debian/patches/prefs/Set-javascript.options.showInConsole.patch new file mode 100644 index 0000000000..0ed1295005 --- /dev/null +++ b/debian/patches/prefs/Set-javascript.options.showInConsole.patch @@ -0,0 +1,20 @@ +From: Mike Hommey <glandium@debian.org> +Date: Sat, 8 Dec 2007 19:24:40 +0100 +Subject: Set javascript.options.showInConsole + +--- + modules/libpref/init/all.js | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/modules/libpref/init/all.js b/modules/libpref/init/all.js +index dba747c..7d5b13e 100644 +--- a/modules/libpref/init/all.js ++++ b/modules/libpref/init/all.js +@@ -1083,6 +1083,7 @@ pref("javascript.options.ion", true); + pref("javascript.options.ion.threshold", 1500); + // Duplicated in JitOptions - ensure both match. + pref("javascript.options.ion.frequent_bailout_threshold", 10); ++pref("javascript.options.showInConsole", true); + pref("javascript.options.asmjs", true); + pref("javascript.options.wasm", true); + pref("javascript.options.wasm_trustedprincipals", true); |