From 7aef95bec87185caccda8a074fc72b9d13f890d6 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fischer@muhq.space>
Date: Sun, 12 Dec 2021 15:38:40 +0100
Subject: html/tools: rename map to xy

---
 html/tools.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'html/tools.html')

diff --git a/html/tools.html b/html/tools.html
index 0d41d4fb..81f74d9b 100644
--- a/html/tools.html
+++ b/html/tools.html
@@ -154,9 +154,9 @@ body {
         return false;
       }
 
-      document.getElementById("random_tile_from_map_form").onsubmit = function() {
-        let x_input = document.getElementById('random_tile_from_map_x');
-        let y_input = document.getElementById('random_tile_from_map_y');
+      document.getElementById("random_tile_from_xy_form").onsubmit = function() {
+        let x_input = document.getElementById('random_tile_from_x');
+        let y_input = document.getElementById('random_tile_from_y');
         result.innerHTML = "Random tile: (x:" + randomInt(x_input.value)
                            + ", y:" + randomInt(y_input.value) + ")";
         return false;
@@ -190,11 +190,11 @@ Random number
 </div>
 
 <div>
-<form id="random_tile_from_map_form">
+<form id="random_tile_from_xy_form">
 Random tile within
-  <input id="random_tile_from_map_x" type="number"/>
-  <input id="random_tile_from_map_y" type="number"/>
-  <input id="random_tile_from_map_button" value="generate" type="submit">
+  <input id="random_tile_from_x" type="number"/>
+  <input id="random_tile_from_y" type="number"/>
+  <input id="random_tile_from_xy_button" value="generate" type="submit">
 </form>
 </div>
 
-- 
cgit v1.2.3