New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Various fixes #16

Merged

imsnif merged 4 commits into main from various-fixes

Mar 28, 2024

Owner

imsnif commented Mar 28, 2024

This includes:

Removing the filesystem listening interface - this should improve performance and resource utilization significantly
Fix some issues with wide-char rendering
Allow configuring the search_filter on startup. It can be one of search_filter "file_names", search_filter "file_contents", search_filter "all" (the last being the default)

imsnif added 4 commits

March 27, 2024 18:35


          remove fs watch

afd0549


          allow configuring search filter

2633e10


          fix wide character issue with displaying search results

e0b5863


          always show results

fb2daf5

imsnif merged commit 4ac617a into main

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet