Closes #2866

- Takes `defaultTables` as optional option and hint columns from that
table without explicitly mentioning table name.
- Update doc/manual.html for sql-hint addon.

Signed-off-by: Nisarg Jhaveri <nisarg.jhaveri@research.iiit.ac.in>

Signed-off-by: Nisarg Jhaveri <nisarg.jhaveri@research.iiit.ac.in>

(So that it plays nice with loadmode)

Since the mouseover will necessarily happen at the very edge of the node, and thus
give ambiguous coordinates.

Closes #2821

This might break sites that depend on async linters getting an editor instance
as first arg, or sync linters getting the .options property of the options passed
as second argument. The args passed are now more or less consistent.

To make it easy for client code to color completions without clashing
with the selected styling.

It now closes script and style tags when the slash is typed

Closes #2797

Closes #2783

Closes #2776

Issue #2777

* closeOnEnter: whether or not the dialog should be closed when you
  press enter with it focused. Defaults to true.

* closeOnBlur: whether or not the dialog should be closed when the
  textfield or button loses focus. Defaults to true.

* onClose: a callback that will be called when the close function
  completes.

* onInput: very similar to onKeyDown, but uses the input event instead
  of keydown. Just an additional event handler basically.

Issue #2768

Closes #2761

Closes #2754

This way, the matchtags addon highlights them the same as normal tags.

Closes #2737

Issue #2735

Disable the `replace()` when the selected `CodeMirror` is `readOnly`.

Issue #2681

Looks at token types to determine whether the quote would actually open a string

Issue #2657

Issue #2663

Currently, if you perform the uncomment command with the cursor outside a single-line block comment, it will uncomment that block comment. This is unfortunate behavior for cases where the block comment is used to describe the parameter to a function like "foo(/* index */ 0)". It's also inconsistent: if you have a selection and a single-line block comment after the end of the selection, uncomment() will do nothing, however if you have a selection with a single-line block comment *before* the selection, it will line-comment out all the lines of the selection instead.

This also isn't a complete fix, but significantly reduces the scope of the problem. For example if you have "/* foo */ bar /* baz */", uncomment() still does the wrong thing when the cursor is on foo or baz.

Issue #2644

Issue #2621

Using the CodeMirror-guttermarker and CodeMirror-guttermarker-subtle CSS
classes to give the markers their color.

Issue #2602

Closes #2598