bump compatibility version numbers

[mandelbrot.git] / xulapp / chrome / mandelbrot / content / mandelbrot.js

diff --git a/xulapp/chrome/mandelbrot/content/mandelbrot.js b/xulapp/chrome/mandelbrot/content/mandelbrot.js
index c2bfba29e800c03a1ef0c7b9d40df704d944850f..1ccebbedd725b884acd92d2358a1210ff4dd1d17 100644 (file)
--- a/xulapp/chrome/mandelbrot/content/mandelbrot.js
+++ b/xulapp/chrome/mandelbrot/content/mandelbrot.js
@@ -712,9 +712,23 @@ function imgSettings() {
 
 function updateDebugMenu() {
   let scope = (document.getElementById("mandelbrotWindow").nodeName == "page") ? "content" : "chrome";
-  for each (let type in ["tracejit", "methodjit"]) {
-    let jitMenuItem = document.getElementById(type + "Enabled");
-    jitMenuItem.setAttribute("checked", gPref.getBoolPref("javascript.options." + type + "." + scope));
+  try {
+    // This throws in versions that don't have JaegerMonkey yet --> catch block
+    gPref.getBoolPref("javascript.options.methodjit." + scope);
+
+    // We have JaegerMonkey, i.e. two prefs for trace/method JIT
+    for each (let type in ["tracejit", "methodjit"]) {
+      let jitMenuItem = document.getElementById(type + "Enabled");
+      jitMenuItem.setAttribute("checked", gPref.getBoolPref("javascript.options." + type + "." + scope));
+    }
+  }
+  catch (e) {
+    // We have TraceMonkey only, i.e. one JIT pref, care only that is displayed
+    for each (let type in ["tracejit", "methodjit"])
+      document.getElementById(type + "Enabled").hidden = true;
+    let jitMenuItem = document.getElementById("jitEnabled");
+    jitMenuItem.hidden = false;
+    jitMenuItem.setAttribute("checked", gPref.getBoolPref("javascript.options.jit." + scope));
   }
 }