So that the selection isn't reset to the start of the element by
div.focus().

As described in http://caniuse.com/#feat=user-select-none and https://developer.mozilla.org/en-US/docs/Web/CSS/user-select

Issue #4374

 - Added for as a defining keyword
 - Added new types and operators
 - Fixed numbers so basic integers are represented
 - Identifiers can now be surrounded with backticks
 - Properties and #/@ instructions are now distinct, with the latter represented as a builtin type
 - Properties are now matched before punctuation. Code can now fold.
 - Remove the regexp checking as that syntax does not currently exist in Swift
 - Added tests

So that their vertical offsets actually match the position of the
corresponding lines.

Issue #4364

And use it in the merge addon to get the proper offsets for merge buttons

Issue #4364

Issue #4353

Issue #4353

Closes #4353

and adds the xù specific keyword 'xu'

Closes #4345

Demo had the correct `text/x-vue`
defineMIME was using `script/x-vue`

There is, however, no `script/*` top-level media type:
http://www.iana.org/assignments/media-types/media-types.xhtml

Left, old `script/x-vue` for backwards compatibility.

Closes #4340

Closes #4333

To further underline our lack of commitment to having the
github repository serve as a package distribution mechanism.

When selecting at the beginning of a line ranges need to be removed
for new range to be added properly. (in Safari)

Closes #4308

Issue #4288

Issue #4289