# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1508429926 -10800
# Node ID 7f0b0e5dc4206cd7d383dea74b2cf608d13283de
# Parent  da35721afdadefb99f2d1cc627c859be37c0ebe8
Apparently setting ID and name for form elements to same value is baad.
Firefox (57) at least started to act weirdly.

diff -r da35721afdad -r 7f0b0e5dc420 colormap.c
--- a/colormap.c	Thu Oct 19 19:17:58 2017 +0300
+++ b/colormap.c	Thu Oct 19 19:18:46 2017 +0300
@@ -318,8 +318,8 @@
         "@LOCATIONS@\n"
         "  </select>\n"
         "  <br />\n"
-        "  <input name=\"shide\" id=\"shide\" onClick=\"jsToggleLabels();\" type=\"checkbox\"%s><label for=\"shide\">Labels</label>\n"
-        "  <input name=\"sscroll\" id=\"sscroll\" type=\"checkbox\"%s><label for=\"sscroll\">Smooth scroll</label>\n"
+        "  <input id=\"shide\" onClick=\"jsToggleLabels();\" type=\"checkbox\"%s><label for=\"shide\">Labels</label>\n"
+        "  <input id=\"sscroll\" type=\"checkbox\"%s><label for=\"sscroll\">Smooth scroll</label>\n"
         " </form>\n"
         "</div>\n",
         (1 ? " checked=\"checked\"" : ""),