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

Fix users being unable to exit help menu #261

Merged
merged 4 commits into from
Dec 8, 2021

Conversation

dvejmz
Copy link
Contributor

@dvejmz dvejmz commented Oct 9, 2021

Ignore any keypresses that don't have a corresponding binding in the Help page to avoid users triggering keybindings that remove the focus from the Help screen and becoming unable to exit, as Help keybindings are no longer captured correctly.

Rather than adding unnecessary complexity to make the Help page more flexible and capable of handling input events meant for other panels, I opted to restrict the input set to the keybindings that have a corresponding action in the Help page while it's active.

Closes #241 .

Disable all keybindings that cannot be handled by the Help panel while it
is active. This guarantees no other commands steal the focus away from
the Help panel, making it impossible to exit it.

Signed-off-by: David Jimenez <[email protected]>
Signed-off-by: David Jimenez <[email protected]>
@dvejmz dvejmz changed the title #241 help Fix users being unable to exit help menu Oct 9, 2021
@makew0rld
Copy link
Owner

Looks like an elegant solution, thanks. Using those constants is nice too. However, this removes some keybindings that are probably important to keep, like the ones for quitting Amfora. Ideally those would still work.

I know it's been a while, sorry about missing the Hacktober fest thing. Let me know if you'd like to continue working on this PR, and I'll take over if not.

@makew0rld makew0rld modified the milestone: v1.9.0 Dec 3, 2021
@makew0rld
Copy link
Owner

I've made some changes so that the quit key is supported. Everything else should be fine. Thanks for your PR!

@makew0rld makew0rld merged commit 0ccf5e2 into makew0rld:master Dec 8, 2021
makew0rld added a commit that referenced this pull request Dec 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Cannot exit help menu after editing the URL or changing the tab
2 participants