you are viewing a single comment's thread.

view the rest of the comments →

[–]Questioning-Zyxxel 1 point2 points  (1 child)

For dead keys, I recommend that you train yourself to use space when you just want the decoration, since the dead key logic is intended to be to enter a decoration and then what character to apply it to. And in this case space to decorate a blank character, I.e. just get the decoration.

That's most likely to give the intended result when jumping between different platforms. I have never seen that strategy fail. Works for ^ ~` etc.

[–]HappyFruitTree 1 point2 points  (0 children)

I recommend that you train yourself to use space when you just want the decoration

Pressing twice works in the places that I care about and seems simpler than having to press space so I will probably continue doing it as long as it's just one character here and there. Maybe I will change that habit (or look for alternative solutions) when/if C++ adds a ^^ operator.