Jacky Zhao
2022-11-20 e9aa6ae9e7ec1792b11ebcb6cac606c47ae3cf7d
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",