Skip to content

Implements various non-exact searching and matching features

Max Rossmannek requested to merge fuzzy-search into master

Features:

  • unicode-decoding during search
  • latex-decoding during search
  • fuzzy search
  • unicode-decoding during filter matching
  • latex-decoding during filter matching
  • fuzzy filter matching

Closes #130 Closes #107

Merge request reports