Bug 507694: Change JS GC frequency and high-watermark preferences for mobile, r=stuart
--- a/mobile/app/mobile.js
+++ b/mobile/app/mobile.js
@@ -314,16 +314,17 @@ pref("layout.css.devPixelsPerPx", 1);
#endif
// content sink control -- controls responsiveness during page load
pref("content.max.deflected.tokens", 10);
pref("content.max.tokenizing.time", 50000);
pref("javascript.options.jit.content", true);
pref("javascript.options.jit.chrome", true);
+pref("javascript.options.mem.gc_frequency", 300);
pref("dom.max_chrome_script_run_time", 30);
pref("dom.max_script_run_time", 20);
// JS error console
pref("browser.console.showInPanel", false);
// kinetic tweakables