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
Wow, I have never even heard of dead keys. This will have to be fixed by customization, because I don't use " as a typed char but as command key. I wonder what the key event looks like in such a case.
I'm using the US-International keyboard layout, which makes use of a couple dead keys.
For example, to type
"
, I need to press" + space
.The editor ignores any dead keys and inserts only a space. In other words, I can't even type a simple string.
I guess you have custom listeners on keypresses instead of relying on the input of the OS.
The text was updated successfully, but these errors were encountered: