-
Notifications
You must be signed in to change notification settings - Fork 0
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.
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
Interactive search #19
Labels
Comments
SimonThormeyer
added
frontend
and removed
blocked
Waiting for another issue to be fixed first
labels
Oct 21, 2023
georgbuechner
added a commit
that referenced
this issue
Oct 29, 2024
SimonThormeyer
pushed a commit
that referenced
this issue
Nov 1, 2024
georgbuechner
added a commit
that referenced
this issue
Nov 14, 2024
- implements using arrows to change cursor position if inp not empty (otherwise browse results) - implements opening pdf/ nth search result - uses enum for read() function return type for more rust-like pattern - formatting
georgbuechner
added a commit
that referenced
this issue
Nov 15, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Once #17 and #18 are implemented, this should be a "Kinderspielt"
Simply get user input call normal search, wait for new input.
The text was updated successfully, but these errors were encountered: