[[ Bug 13279 ] Use unmapped codepoint if ctrl key is pressed.
Merge branch 'bugfix-13279' into develop