From 2a2bfd257c1785f9f132c31d7499fdfb89112a6b Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sun, 22 Oct 2023 22:01:20 +0200
Subject: Improve zooming layout.

---
 play.js | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'play.js')

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")
-}
-
-- 
cgit v1.2.3