you could do handle this problem with a custom keybinding that blocks you from inserting them. {"keys": ["alt+space"], "command": "insert", "args": {"characters": " "}}
- by @mediafinger https://twitter.com/mediafinger/status/270886390294786048
but that blocks you from writing them at all. Not a solution, but at least a workaround.
Customer support service by UserEcho
you could do handle this problem with a custom keybinding that blocks you from inserting them.
{"keys": ["alt+space"], "command": "insert", "args": {"characters": " "}}
- by @mediafinger https://twitter.com/mediafinger/status/270886390294786048
but that blocks you from writing them at all. Not a solution, but at least a workaround.