Indentation should happen top-to-bottom so that subsequent
indents are based on the updated code above

Issue #4248

Closes #4248

Closes #4233

Issue #4091

Issue #4091

See https://discuss.codemirror.net/t/addoverlay-removeoverlay-and-opaque/835

Closes #4113

Fixes issue #4163.

In some cases, on wrapping points, they span the whole line

Issue #4097

Chrome would show the IME widget too high because it noticed the textarea
was cut off by the wrapping DIV.

Issue #4095

Closes #4090

Closes #4087

Issue #4078

Store the modifier in the original mouse event to choose between
move and copy drags.

Issue #2556

So that they don't interfere with clicking and dragging

Issue #2556

Closes #4042

It breaks document tree rebalancing.

Closes #4032

Issue #3983