Skip to content
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

Feature request: 'Find next' on pressing enter #36

Open
zmaile opened this issue Oct 5, 2024 · 4 comments
Open

Feature request: 'Find next' on pressing enter #36

zmaile opened this issue Oct 5, 2024 · 4 comments
Labels
documentation Improvements or additions to documentation enhancement New feature or request

Comments

@zmaile
Copy link

zmaile commented Oct 5, 2024

As per title; It would be handy to find the next instance of the search string upon pressing enter when the 'find' field is focused.

@u-235
Copy link
Collaborator

u-235 commented Oct 5, 2024

Hi.
I'm not sure that this behavior is the right thing to do. To move between matches there are F3 and Shift+F3 hotkeys and when you press Enter it is more logical to pass the focus back to the edited file. This will allow you to edit matches using the keyboard only, without distracting the mouse.

@zmaile
Copy link
Author

zmaile commented Oct 5, 2024

Pressing 'enter' to search the next term is consistent with most other applications (libreoffice writer, firefox, & gnome-text-editor are examples I've just now tested).

You do raise a good point, about avoiding the mouse where possible. Are the F3 and Ctrl+F3 shortcuts implemented? On my install (version 2024-09, linux), they do nothing. I was also unable to find any tooltips or menus that reference these shortcuts.

@u-235
Copy link
Collaborator

u-235 commented Oct 5, 2024

I made a mistake, not Ctrl+F3, but Shift+F3. And it worked always, I didn't change anything in this place, but there may be differences depending on OS.

Making a list of hotkeys is a good idea, I'll have to look into that. As well as adding a mention of hotkeys in tooltips.

@u-235 u-235 added documentation Improvements or additions to documentation enhancement New feature or request labels Oct 5, 2024
@u-235
Copy link
Collaborator

u-235 commented Oct 16, 2024

In the experimental branch, I modified the tooltips to include a hotkey reminder.
shortcut

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Development

No branches or pull requests

2 participants