New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

(feature): log panel fuzzy search #35

Merged

everettraven merged 2 commits into main from feature/log-search

Nov 18, 2023

Owner

everettraven commented Nov 17, 2023 •

edited

Loading

Description

Adds strict/fuzzy search to the logs panel
Some light refactoring of log paneler logic
Updates the Log panel model to implement the Helper interface and show detailed help information for the log panel when full help output is toggled on
Changes the help toggle key from ? to ctrl+h
Removed the esc key from the global quit key list in favor of making it a local "quit without doing X" key for the panel views

Motivation

resolves Add log searching #32

everettraven added 2 commits

November 17, 2023 17:07


          (feature): log panel fuzzy search

57857eb

Signed-off-by: Bryce Palmer <[email protected]>


          add search highlighting, strict/fuzzy match toggle, and help

d673f5d

Signed-off-by: Bryce Palmer <[email protected]>

everettraven marked this pull request as ready for review

November 18, 2023 16:31

everettraven merged commit a32effc into main

3 checks passed

everettraven deleted the feature/log-search branch

November 18, 2023 16:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet