CodeMirror selection doesn't continue to right if you scroll horizontally

[redmunds]

1. open any file that requires a horizontal scroll (e.g. brackets/src/index.html)
2. select 1 or more lines of text
   >> notice that the selection does not extend all the way to the right
3. scroll horizontally to the right
   >> selection gap on right gets even bigger

[peterflynn]

Filed marijnh/CodeMirror2#643 -- looks like this is caused by the same CodeMirror change as #1240, but in this case it's core CM code that got bit by it, so it repros in the vanilla upstream CodeMirror editor too.

[peterflynn]

Marijn has fixed this already upstream; our next CM merge will pick up the fix

[pthiess]

Reviewed, sprint 12.

[peterflynn]

I've spun off the first issue (step 2 above) as a separate bug, #1302. It has been around for a long time and is not a recent regression. The second issue (step 3 above) is a recent regression and should be fixed as soon as we're done merging the CM update.

[peterflynn]

The CodeMirror merge has been deferred to Sprint 13 due to some recent instability in the CM scrolling code. Pushing this bug out till then.

[njx]

FBNC to @redmunds -- please make sure to git submodule update to get the latest CodeMirror.

[redmunds]

Looks good. Closing.