Accessibility: Improve Keyboard operations in editor (spellcheck popups, etc)

This is implemented in 0.12.12

We are aware that sometimes Shift-F10 doesn’t trigger at the right spot.