Jacky Zhao
2022-10-25 9b72edcd9cce10d6064e4e8b2f61b7db2966515d
assets/js/full-text-search.js
@@ -1,5 +1,5 @@
; (async function() {
  const encoder = (str) => str.toLowerCase().split(/([^a-z]|[^\x00-\x7F])+/)
  const encoder = (str) => str.toLowerCase().split(/([^a-z]|[^\x00-\x7F])/)
  const contentIndex = new FlexSearch.Document({
    cache: true,
    charset: "latin:extra",