Merge branch 'master2' into improvement-custom-themes-merged

2025-09-14 05:43:33 -06:00 · 2019-11-26 23:27:33 +01:00
parent 3ed2d586fd 8bd2da55fe
commit bb0e5222ca
22 changed files with 229 additions and 88 deletions
--- a/assets/js/just-the-docs.js
+++ b/assets/js/just-the-docs.js
@@ -52,8 +52,13 @@ function initSearch() {
    if (request.status >= 200 && request.status < 400) {
      // Success!
      var data = JSON.parse(request.responseText);
-
+      
+      {% if site.search_tokenizer_separator != nil %}
+      lunr.tokenizer.separator = {{ site.search_tokenizer_separator }}
+      {% else %}
      lunr.tokenizer.separator = /[\s\-/]+/
+      {% endif %}
+      
      var index = lunr(function () {
        this.ref('id');
        this.field('title', { boost: 200 });