touch scroll / arrow keys bug

Android webview (default browser) creates a alignment bug when combining touch scroll with arrow keys.

‘Hackers Keyboard’ is the most widely used soft keyboard for coding on an android. It has arrow keys.

If you use just the arrow keys, it works great. Codemirror works as expected.

Now, move the curso to the end or beginning of the view, and use touch move to scroll the cursor off the display.

Pressing a arrow key (up or down) does not bring the cursor into view. Furthermore, Codemirror now has display issues even to the point of content dissappearing. (A tap will bring it back)

cm.refresh() doesn’t work.

It is like the editor loses where it is when using both.

Confirmed on your online demos as well.

Android 4.1