-
-
Notifications
You must be signed in to change notification settings - Fork 2.7k
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
Add key shortcut for global search #573
Comments
Duplicate of #617? |
I suggest to close one of the issues. Which one is up to you 😄 |
I'm implementing this at the moment. |
@bartsch-dev Thanks for looking at this! I would answer yes to your question. BTW, the fact that the window is not modal is really annoying for some window manager (like i3) because I can't close the window with ctrl-q or ctrl-w... If something could be done on that side too, that would be awesome. |
thanks @bartsch-dev |
The new shortcut is CTRL + SHIFT + F. |
Thank you for reporting this issue. We think, that is already fixed in our development version. |
Thank you! |
Hi,
It would be a nice enhancement if we can have a shortcut for the global search. My use case:
I enter a keyword in the search bar in the top of the windows.
Suggestions are displayed, I eventually move with arrows and then press enter.
The word is completed
Now, I would like to press shift-enter (for example) to make a global search from that.
Thank you!
The text was updated successfully, but these errors were encountered: