Closes #4056

Issue #4057

Closes #4057

Use findMarks instead of findMarksAt in foldGutter.js to correctly
find marks when a single line is collapsed so that the arrow displays
correctly as collapsed.

Add option 'clearOnEnter' to foldcode.js and default it to true.
This option determines whether the marker added when folding a
line clears when the cursor enters it.

Closes #4042

See https://discuss.codemirror.net/t/width-of-sql-hint-dropdown-in-firefox-is-not-always-correct/757

See https://discuss.codemirror.net/t/dynamically-switch-mode-with-sql-hint-addon-bugs/751

Closes #3896

Closes #4025

Fix "Uncaught TypeError: Cannot read property 'severity' of undefined"

Issue #3974

Even if we don't use promise internally, check for the existence of
`.then` attributes on the return results of a hinting function, and if
so assume it is a promise.

Internally also convert all hinters to use the asynchronous interface
for consistency and simplification of code paths.

Closes #3971

Closes #3972

Issue #3941

Closes #3934

Closes #3920

Closes #3891

Closes #3802

Closes #3849

When hovering a line with multiple lint annotations, codeMirror will
now show all the attached markers instead of just the first one

Closes #3847

This patch enables styling of active line numbers by
adding a `CodeMirror-activeline-gutter` class to the
line's gutter space.

Closes #3802

When enabled, and the annotatescrollbar addon is loaded, matches will
be shown on the scrollbar.

Since the viewport info isn't updated until the redraw, and the event
fires before the redraw.

See https://discuss.codemirror.net/t/whats-wrong-fold-gutters-do-not-show-up-after-swapdoc-call/580

Issue #3733

To avoid IE8 parser issue.

Issue #3636
Issue #3698

Closes #3703

So that tiny mouse motions don't keep resetting the selected item

Closes #3698