You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An escape character should exist in case a keybinding wants to use a lexical symbol as a button to press. For example shift + - should be a possible keybinding. In this case it's possible to determine it from the context, but preferably I'd not make it so and give back an error instead. I propose the escape character to be the commonly used backslash \
The text was updated successfully, but these errors were encountered:
An escape character should exist in case a keybinding wants to use a lexical symbol as a button to press. For example
shift + -
should be a possible keybinding. In this case it's possible to determine it from the context, but preferably I'd not make it so and give back an error instead. I propose the escape character to be the commonly used backslash\
The text was updated successfully, but these errors were encountered: