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

Keyboard settings #386

Merged
merged 4 commits into from
Jun 24, 2023
Merged

Keyboard settings #386

merged 4 commits into from
Jun 24, 2023

Conversation

kimo-k
Copy link
Contributor

@kimo-k kimo-k commented Jun 18, 2023

#314

  • Toggle keyboard event handling in the settings
  • Bind the show-panel! key in the settings

@kimo-k kimo-k changed the title More keyboard settings Keyboard settings Jun 18, 2023
Copy link

@coltnz coltnz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm generally.

I wonder if we shouldn't be changing the default here, given it doesn't work well for Firefox. We'll run straight into xkcd if we do, so perhaps we use a different default on Firefox?

@kimo-k
Copy link
Contributor Author

kimo-k commented Jun 20, 2023

Different defaults per browser could work, but could also lead to more confusion. I imagine the new option to set your own binding, and the new docs for programmatically opening the panel, should be relief enough for anyone who is currently hacking their Ctrl-h somehow.

How do we feel about Ctrl-Shift-X? It seems unused by mainstream browsers.

Firefox does use it to switch text direction (such as for Arabic input), but only when a text input element is focused. Conveniently, 10x ignores the key event in this situation.

It is used by VSCode and Teams to open panels, but that's probably okay.

@kimo-k kimo-k merged commit 8b843fa into master Jun 24, 2023
2 checks passed
@sirmspencer
Copy link

Anything for the readme?

kimo-k added a commit that referenced this pull request Jul 6, 2023
@kimo-k
Copy link
Contributor Author

kimo-k commented Jul 6, 2023

Hey @sirmspencer, I did notice an inconsistency in the readme for this. I fixed that & added a mention of the settings. Let me know if any other particulars come up.

@sirmspencer
Copy link

Looks good, thanks.

@mike-thompson-day8
Copy link
Contributor

mike-thompson-day8 commented Jul 6, 2023 via email

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.

None yet

4 participants