function Startup() {
updateIterMenu();
+ updateAlgoMenu();
updatePaletteMenu();
gMbrotBundle = document.getElementById("mbrotBundle");
document.getElementById("statusLabel").value = gMbrotBundle.getString("statusEmpty");
/***** pure UI functions *****/
var zoomstart;
+var imgBackup;
function mouseevent(etype, event) {
let canvas = document.getElementById("mbrotImage");
+ let context = canvas.getContext("2d");
switch (etype) {
case 'down':
- if (event.button == 0)
+ if (event.button == 0) {
// left button - start dragzoom
zoomstart = {x: event.clientX - canvas.offsetLeft,
y: event.clientY - canvas.offsetTop};
+ imgBackup = context.getImageData(0, 0, canvas.width, canvas.height);
+ }
break;
case 'up':
if (event.button == 0 && zoomstart) {
+ context.putImageData(imgBackup, 0, 0);
let zoomend = {x: event.clientX - canvas.offsetLeft,
y: event.clientY - canvas.offsetTop};
}
}
zoomstart = undefined;
+ break;
+ case 'move':
+ if (event.button == 0 && zoomstart) {
+ context.putImageData(imgBackup, 0, 0);
+ context.strokeStyle = "rgb(255,255,31)";
+ context.strokeRect(zoomstart.x, zoomstart.y,
+ event.clientX - canvas.offsetLeft - zoomstart.x,
+ event.clientY - canvas.offsetTop - zoomstart.y);
+ }
break;
}
}
}
}
+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));