X-Git-Url: https://git-public.kairo.at/?p=mandelbrot.git;a=blobdiff_plain;f=xulapp%2Fchrome%2Fmandelbrot%2Fcontent%2Fmandelbrot.js;h=72154191907dd4592a2f881ac53280fcb87f9d85;hp=212e188a5e22a5eb6ca35372d6fccd82d9f7a1d2;hb=84e4253dade312621f4f73ba58eab4d19f0c63d1;hpb=920e1feaae452ddcc01e9a08b51beca27452f334 diff --git a/xulapp/chrome/mandelbrot/content/mandelbrot.js b/xulapp/chrome/mandelbrot/content/mandelbrot.js index 212e188..7215419 100644 --- a/xulapp/chrome/mandelbrot/content/mandelbrot.js +++ b/xulapp/chrome/mandelbrot/content/mandelbrot.js @@ -485,6 +485,15 @@ function saveImage() { } } +function exitMandelbrot() { + var appInfo = Components.classes["@mozilla.org/xre/app-info;1"] + .getService(Components.interfaces.nsIXULAppInfo); + if (appInfo.ID == "mandelbrot@kairo.at") + quitApp(false); + else + window.close(); +} + function updateBookmarkMenu(aParent) { document.getElementById("bookmarkSave").disabled = (!document.getElementById("drawButton").hidden || (gStartTime > 0)); @@ -669,14 +678,19 @@ function imgSettings() { } function updateDebugMenu() { - var jitMenuItem = document.getElementById("jitEnabled"); - jitMenuItem.setAttribute("checked", gPref.getBoolPref("javascript.options.jit.chrome")); + 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)); + } } -function toggleJITState(jitMenuItem) { - var jitEnabled = !gPref.getBoolPref("javascript.options.jit.chrome"); - gPref.setBoolPref("javascript.options.jit.chrome", jitEnabled) - jitMenuItem.setAttribute("checked", jitEnabled? "true" : "false"); +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() {