Fix bug in patching lines with widgets
The gutter element would end up before any 'above' widgets, causing the widgets to hide it. Closes #1971
[pegjs mode] Quotes can appear in character classes
when they do so, they don't indicate the start of a string.
Make textarea contextmenu shim have background: transparent
To prevent it from being visible on dark backgrounds.
[website] Make things more or less run on IE8
HTML5 tag parsing hack, and invert css media query.
Use the github url for repository
This makes it easy to find the GitHub repo from https://npmjs.org/package/codemirror
[closetag addon] Prevent action in another corner case
(When slicing the part before the cursor from the tagname causes it to be empty.) Closes #1998
Add clearWhenEmpty option to markText
Stop doing this automatically for marks inclusive on both sides. Issue #1996
[show-hint addon] Be more precise in identifying hint element
... to prevent misbehavior in cases where the rendered hint element contains an LI in its child nodes
[searchcursor addon] Deal with characters that multiply on case folding
And add a test suite. Issue #2009
[xml mode] Rewrite state machine to be simpler and faster
Tangentially related to issue #2023
[comment addon] Test token type when uncommenting
To make sure it isn't seeing comments that are actually strings. Issue #1975