From 4bb3b2c9ed12f963ed12ccb27f2b94cb43c0ac05 Mon Sep 17 00:00:00 2001
From: feeshmaster <125420779+feeshmaster@users.noreply.github.com>
Date: Sat, 25 Nov 2023 20:32:07 -0600
Subject: [PATCH] Update pixelResizeTool.js

---
 mods/pixelResizeTool.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mods/pixelResizeTool.js b/mods/pixelResizeTool.js
index 5f35bb2c..beccf27c 100644
--- a/mods/pixelResizeTool.js
+++ b/mods/pixelResizeTool.js
@@ -3,7 +3,7 @@ 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 }
+    if (!pixelSizeNeeded || isNAN(pixelSizeNeeded)) { alert('number is invalid!'); return; }
     resizeCanvas(canvas_height,canvas_width, parseFloat(pixelSizeNeeded), true);
 };
 pixelResizeButton.textContent = "Resize";