Added basic support of search for objects.

2018-06-15 13:31:31 +02:00
parent 80485a98ab
commit 5c4f0eb5d9
6 changed files with 148 additions and 10 deletions
--- a/js/main.js
+++ b/js/main.js
@@ -29,6 +29,8 @@ document.addEventListener("DOMContentLoaded", function() {
            "Times"                     : "Times",
            "Search"                    : "Search",
            "SearchingFor"              : "Searching for",
+            "Hits"                      : "Hits:",
+            "ResultsInPages"            : "Results in texts",
            "... who"                   : "... who",
            "... where"                 : "... where",
            "... when"                  : "... when",
@@ -50,6 +52,8 @@ document.addEventListener("DOMContentLoaded", function() {
            "Times"                     : "Zeiten",
            "Search"                    : "Suche",
            "SearchingFor"              : "Suche nach",
+            "Hits"                      : "Treffer:",
+            "ResultsInPages"            : "Treffer in Texten",
            "... who"                   : "... wer",
            "... where"                 : "... wo",
            "... when"                  : "... wann",