From 8c2419ffbedfc9531bb1fe2158aacf802d2151ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Hrb=C3=A1=C4=8D?= <david@hrbac.cz>
Date: Wed, 15 Feb 2017 16:38:53 +0100
Subject: [PATCH] Case-insensitive search

---
 docs.it4i/snippets/modules_matrix_search.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs.it4i/snippets/modules_matrix_search.md b/docs.it4i/snippets/modules_matrix_search.md
index 4a7e2f5cc..b936364e1 100644
--- a/docs.it4i/snippets/modules_matrix_search.md
+++ b/docs.it4i/snippets/modules_matrix_search.md
@@ -1,5 +1,11 @@
 <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.slim.min.js" integrity="sha256-/SIrNqv8h6QGKDuNoLGA4iret+kyesCkHGzVUUV0shc=" crossorigin="anonymous"></script>
 <script>
+// override to case insensitive search
+$.expr[":"].contains = $.expr.createPseudo(function(arg) {
+    return function( elem ) {
+        return $(elem).text().toUpperCase().indexOf(arg.toUpperCase()) >= 0;
+    };
+});
 $("#searchInput").keyup(function () {
     //split the current value of searchInput
     var data = this.value.split(" ");
-- 
GitLab