From c8c1b5abf591665654afba3f0b98b185ebb6e492 Mon Sep 17 00:00:00 2001
From: Daniel Bulant <admin@danbulant.eu>
Date: Tue, 14 Apr 2020 17:56:55 +0200
Subject: [PATCH] Add list of tables

---
 static/index.html | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/static/index.html b/static/index.html
index 0f0a017..f596d33 100644
--- a/static/index.html
+++ b/static/index.html
@@ -138,10 +138,14 @@
             const appTitle = document.createElement("h1");
             appTitle.innerText = "Data dictionary of " + db.name;
             app.appendChild(appTitle);
+
             const date = document.createElement("p");
             date.innerText = "Loading table information...";
             app.appendChild(date);
 
+            const tableList = document.createElement("ul");
+            app.appendChild(tableList);
+
             var res = await fetch("/tables");
             var tables = await res.json();
             var re = await fetch("/fieldsIgnored");
@@ -154,7 +158,7 @@
                 var data = tables[table];
                 var tableEl = document.createElement("table");
                 var title = document.createElement("h2");
-
+                title.id = table.replace(/[\s]/g, "");
                 title.innerText = table;
                 app.appendChild(title);
 
@@ -164,6 +168,13 @@
                     continue;
                 }
 
+                var tableItem = document.createElement("li");
+                var tableLink = document.createElement("a");
+                tableItem.appendChild(tableLink);
+                tableLink.href = "#" + table.replace(/[\s]/g, "");
+                tableLink.innerText = table;
+                tableList.appendChild(tableItem);
+
                 try {
                     var comment = document.createElement("p");
                     comment.innerText = data.comment[0].table_comment;