From 21c1468feafd8f984a2619a30110e4d1cfc644ed Mon Sep 17 00:00:00 2001
From: ville rantanen <ville.rantanen@iki.fi>
Date: Mon, 10 Dec 2018 17:54:04 +0200
Subject: [PATCH] menu fix

---
 index.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 021e891..6331ff8 100644
--- a/index.html
+++ b/index.html
@@ -115,7 +115,7 @@ function make_menu() {
     var sel=document.createElement("select");
     sel.onchange=function(){
         if (this.value=="") { return }
-        document.getElementById("anchor_"+this.value).scrollIntoView();
+        document.getElementById(this.value).scrollIntoView();
         document.getElementById("menu").value="";
       };
     sel.id="menu";
@@ -124,13 +124,15 @@ function make_menu() {
     opt.value="";
     opt.innerHTML="#";
     sel.appendChild(opt);
+    var anchor_index = 0;
     for (c=0; c<linkList.length; c++) {
         if ( linkList[c].substring(0,2) == "# " ) {
           var opt=document.createElement("option");
           var name=linkList[c].substring(1).trim().replace(/ /g,"");
           opt.innerHTML=linkList[c].trim();
-          opt.value=name.replace(/^#/,"");
+          opt.value="anchor_" +  name.replace(/^#/,"") + "_" + anchor_index;
           sel.appendChild(opt);
+          anchor_index++;
         }
     }
 }