-
Notifications
You must be signed in to change notification settings - Fork 52
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
Per virtual terminal text search. #542
Comments
Hi! There is a search for an exact text string (case sensitive). Either the fragment selected in the scrollback buffer or a string from the clipboard is searched: Terminal.Dev.2024-01-14.22-40-54.mp4 |
Currently, text search is mouse driven. Implementation of keyboard-only support is still on the way. |
Unfortunately this has not yet been implemented. |
@hewhocannotbetamed Is the text search functionality I mentioned sufficient for you? We really need a separate submenu with additional search options, like in vscode editor, and while this is not the case, I would close this issue in favor of #86, which will implement support for shortcuts like Ctrl+F, what do you think? |
I'm closing the issue in favor of #86. Feel free to reopen this issue if necessary. |
Is there, or can there be a per virtual terminal Ctrl+F functionality. If I remember correctly, there's means to extend the functionality using "plugins", so possibly I can monkey-patch it in there. Fair warning, the latter was a freshly minted idea.
The text was updated successfully, but these errors were encountered: