Document editor - Cannot click to insert cursor after scrolling

A customer reported that when attempting to edit a document in the web console UI, the mouse cursor cannot be inserted by clicking if the document is large enough to require scrolling in the web browser and scrolling has taken place prior to clicking.

Expected Behavior
---------------------------

A click anywhere in the edit text area (.CodeMirror-lines div) should move cursor to that position, and this does occur provided no scrolling in the browser takes place first.

Actual Behavior
-----------------------

Clicking in the text area will move the cursor to the desired position, but after scrolling down in the browser, a click in the text area does nothing, and the cursor must be positioned using the arrow keys instead.

Steps to Reproduce
----------------------------

0. Create a large (1.5KB+ or so) sized document.
1. Access the document.
2. Scroll down in the web browser to the bottom of the document.
3. Click anywhere in the edit text area.
4. Mouse cursor is not inserted at the position clicked.

Not sure if this is a CodeMirror bug, but initial research shows that there are indeed numerous cursor positioning bugs associated with the CodeMirror project at any given time, so perhaps the issue lies there.

Attached are some screenshots to illustrate the behavior.