-function updateDebugMenu() {
- let scope = (document.getElementById("mandelbrotWindow").nodeName == "page") ? "content" : "chrome";
- 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));
- }
-}
-
-function toggleJITState(jitMenuItem, jittype) {
- let scope = (document.getElementById("mandelbrotWindow").nodeName == "page") ? "content" : "chrome";
- let jitpref = "javascript.options." + jittype + "jit." + scope;
- let jitEnabled = !gPref.getBoolPref(jitpref);
- gPref.setBoolPref(jitpref, jitEnabled)
- jitMenuItem.setAttribute("checked", jitEnabled ? "true" : "false");
-}
-
-function updateAlgoMenu() {
- let currentAlgo = getAdjustPref("use_algorithm");
-
- let popup = document.getElementById("menu_algoPopup");
- let item = popup.firstChild;
- while (item) {
- if (item.getAttribute("name") == "algorithm") {
- if (item.getAttribute("value") == currentAlgo)
- item.setAttribute("checked", "true");
- else
- item.removeAttribute("checked");
- }
- item = item.nextSibling;
- }
-}
-
-function setAlgorithm(algoID) {
- gPref.setCharPref("mandelbrot.use_algorithm", algoID);
-}
-