-
Notifications
You must be signed in to change notification settings - Fork 2
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: Allow toggle marks using <space> instead of Mark/Unmark keys #18
Comments
What would the use case for this be? |
Using the same key for marking/unmarking is much quicker. Also, it is how virtually all User Interfaces worked since the dawn of computing ;-) |
I wouldn't say that's how all UIs work. redu takes inspiration from Emacs' dired, it even uses the same keys. |
My concern with having a toggle rather than separate keys is that I find that it's easier to make mistakes when moving around fast marking files. With separate keys each action is idempotent, if you press the key one too many times it doesn't make a difference. |
I guess it's a balance between tracking more keys and more visual information. For most people, using the same key/button is more natural. In any case, we could have both options and it's up to you. |
My main concern was about taking up such a prime key for this task. If you want to create a PR with this I'm happy to accept it :) |
I already made 2 attempts but my Rust is very rusty ;-) No rush though, redu is an excellent helper as it is today. Feel free to close the issue. |
I would suggest understanding how the flow works for example for deleting a mark, then implementing a toggle should be very similar. At a high level the event loop goes like this:
|
It would be nice to have an option to toggle marks using instead of Mark/Unmark keys
The text was updated successfully, but these errors were encountered: