Bug fix to work around unstable cursor position in ace editor.