From db85f983a3b63c48ba6a583c70bb8a5091de46da Mon Sep 17 00:00:00 2001 From: Sebastiaan van Stijn Date: Thu, 8 Oct 2020 15:50:05 +0200 Subject: [PATCH] Remove glossary left-overs Looks like removing the front-matter in f17ebae568a15033c914d2024f5e939dee89a4a8 caused the output to break, resulting in a JavaScript error. Looking at where this file was used, it turned out that it was loaded, but never used anywhere. This commit removes the remaining parts of the glossary search functionality, which was not used. Signed-off-by: Sebastiaan van Stijn --- _includes/body.html | 1 - js/docs.js | 3 --- js/glossary.js | 6 ------ search.md | 2 -- 4 files changed, 12 deletions(-) delete mode 100644 js/glossary.js diff --git a/_includes/body.html b/_includes/body.html index d3a76c95a5..b749ac1ca2 100644 --- a/_includes/body.html +++ b/_includes/body.html @@ -140,7 +140,6 @@ - diff --git a/js/docs.js b/js/docs.js index b22b63b533..905e278a03 100644 --- a/js/docs.js +++ b/js/docs.js @@ -328,9 +328,6 @@ $(function () { $('[data-toggle="tooltip"]').tooltip() }); -// Enable glossary link popovers -$(".glossLink").popover(); - // sync tabs with the same data-group window.onload = function () { $(".nav-tabs > li > a").click(function (e) { diff --git a/js/glossary.js b/js/glossary.js deleted file mode 100644 index 439e0f1681..0000000000 --- a/js/glossary.js +++ /dev/null @@ -1,6 +0,0 @@ -var glossary = [ -{%- for entry in site.data.glossary -%} - {"term": {{ entry[0] | jsonify }}, "def": {{ entry[1] | markdownify | jsonify }}} - {%- unless forloop.last -%},{%- endunless -%} -{%- endfor -%} -] diff --git a/search.md b/search.md index b59add1686..5ade9ff4ec 100644 --- a/search.md +++ b/search.md @@ -24,8 +24,6 @@ skip_read_time: true .gsc-adBlock { display: none; } -
-