}
}
+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));