fix search plugin ignoring diacritics

fixes hakimel#3492
t-fritsch · Nov 20, 2023 · d0b26d0 · d0b26d0
1 parent bbd0d3e
commit d0b26d0
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/plugin/search/plugin.js b/plugin/search/plugin.js
@@ -137,7 +137,9 @@ const Plugin = () => {
 
 		this.setRegex = function(input)
 		{
-			input = input.replace(/^[^\w]+|[^\w]+$/g, "").replace(/[^\w'-]+/g, "|");
+			input = input
+				.replace(/^[^\wÀ-ž]+|[^\wÀ-ž]+$/g, "") // trim non alphanumeric chars at the beginning and at the end
+				.replace(/[^\wÀ-ž'-]+/g, "|"); // replace all others non alphanumeric chars (except - and ') with a `|` (logical OR)
 			matchRegex = new RegExp("(" + input + ")","i");
 		}
 

diff --git a/plugin/search/search.esm.js b/plugin/search/search.esm.js
diff --git a/plugin/search/search.js b/plugin/search/search.js