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

default shortcut AltGr+Space is automatically replaced with Space #99

Closed
jibedoubleve opened this issue Jan 27, 2023 · 0 comments · Fixed by #102
Closed

default shortcut AltGr+Space is automatically replaced with Space #99

jibedoubleve opened this issue Jan 27, 2023 · 0 comments · Fixed by #102
Assignees
Labels
bug Something isn't working
Milestone

Comments

@jibedoubleve
Copy link
Owner

jibedoubleve commented Jan 27, 2023

Editor does not save HotKey.ModifierKeys in the settings...

@jibedoubleve jibedoubleve added the bug Something isn't working label Jan 27, 2023
@jibedoubleve jibedoubleve added this to the 2.1.0 milestone Jan 27, 2023
@jibedoubleve jibedoubleve self-assigned this Jan 27, 2023
@jibedoubleve jibedoubleve linked a pull request Jan 28, 2023 that will close this issue
jibedoubleve added a commit that referenced this issue Jan 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant