fix: missing the new arabic diacritics settings in a few places (#373)

This commit is contained in:
Simon Cambier
2024-06-29 16:51:16 +02:00
parent 1d64ca52cc
commit 94d687aeaa
3 changed files with 14 additions and 3 deletions

View File

@@ -141,6 +141,7 @@
}
query = new Query(searchQuery, {
ignoreDiacritics: plugin.settings.ignoreDiacritics,
ignoreArabicDiacritics: plugin.settings.ignoreArabicDiacritics,
})
cancelableQuery = cancelable(
new Promise(resolve => {