Jacky Zhao
2022-08-05 5c76d8dad9d993010c4e57c6de4e90911a3cd11a
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",