Re-reset the input right after a focus event

It seems recent versions of Chrome/Blink fire the handler first,
and then clear the selection.

Issue #1730
[xml mode] Fix value-less attributes

Issue #902
Clear measure div after line measurement

To prevent a lot of DOM nodes from sticking around after measuring a
long line, easing the pressure on the GC.
[continuecomment addon] Move to addon/comment (from addon/edit)
"grey" is an accepted named color value (same as "gray")
Python function/class definition highlighting.
erlang mode bug fixes
Configurable delay between selection of a word to highlighting of word.

current delay of 100ms between selection of word to highlighting is almost instantaneous.
Fix linenumbers when undoing multiple changes
Fix bug in handling of Esc key in IE
[css mode] Add properties for CSS regions
Move to a new website layout
[project page] Fix broken sentence
[project page] Tweaks based on mailing list feedback
Add (undocumented, not yet final) extra argument to setSelection and extendSelection

Issue #1743
[css mode] More properties for CSS Regions
[css mode] Even more properties
[project page] Fix mailing list links
[sql mode] Fix demo page
[yaml mode] More precise parsing of mapping keys

Issue #1735