1 files changed, 0 insertions, 11 deletions
diff --git a/play.js b/play.js
index dbe4c19..b3fa4e4 100644
--- a/play.js
+++ b/play.js
@@ -1584,14 +1584,3 @@ function map_get(map, key, missing) {
 	}
 	return missing
 }
-
-// TODO: clean up this mess...
-var orig_toggle_zoom = toggle_zoom
-toggle_zoom = function () {
-	orig_toggle_zoom()
-	if (document.getElementById("mapwrap").classList.contains("fit"))
-		document.getElementById("grid").classList.add("fit")
-	else
-		document.getElementById("grid").classList.remove("fit")
-}
-