diff --git a/mods/pixelResizeTool.js b/mods/pixelResizeTool.js new file mode 100644 index 00000000..5f35bb2c --- /dev/null +++ b/mods/pixelResizeTool.js @@ -0,0 +1,10 @@ +pixelResizeButton = document.createElement("button"); +pixelResizeButton.onclick = function(pixel) { + let canvas_width = document.getElementById("game").width; + let canvas_height = document.getElementById("game").height; + let pixelSizeNeeded = prompt("How big should pixels be?"); + if (!pixelSizeNeeded) { return } + resizeCanvas(canvas_height,canvas_width, parseFloat(pixelSizeNeeded), true); +}; +pixelResizeButton.textContent = "Resize"; +document.getElementById("toolControls").appendChild(pixelResizeButton);