As screwed up by e1dcbebb

The selection's width depends on the doc width, so it has to
be drawn after adjusting that.

Issue #2256

Prevents one pointless display update when scrolling a position
into view.

Conflicts:
	lib/codemirror.js

This produces saner widths for most elements, and removes
the need for the border/fit-width hack on the pre elements.

Issue #2256

Conflicts:
	lib/codemirror.js

Issue #2255

Also configure the htmlmixed option to pass through xml-mode-specific
options to its inner xml mode.

Issue #2265

(removed non-octave ... comments, added octave's # comments)

Closes #2268

Added a wrapper for js-yaml.js to enable YAML lint support. Followed
json-lint.js pattern. Unfortunately js-yaml.js only shows one error at
a time, but something is better nothing. Checked code with linter and
ran tests. All came back clean.

(Only works if anyword-hint.js is loaded.)

Doesn't take up any space now, so that a tab of width 2 is 2 em width
rather than 3.

Closes #2262

It apparently does not have a working buttons property on its mouse
events.

Issue #2260

The vim mode was making sensible use of a searchcursor with
a match-everything regexp as cursor.

Issue #2259

It doesn't do anything useful, and makes replace-all loop
forever.

Closes #2259

Now supports double/triple clicks and alt-drag to create
word/line/rectangle selections in addition to the existing
selection.

Issue #2257

Issue #2256

... so that users can use \1, \2, etc in the replace expressions.

(When lineWrapping is off.)

Issue #2254

Issue #2253

relates to https://github.com/marijnh/CodeMirror/issues/314

relates to https://github.com/marijnh/CodeMirror/issues/314

Issue #2237

Conflicts:
	addon/comment/continuecomment.js
	lib/codemirror.js
        mode/puppet/puppet.js

Closes #2075

Issue #2182

Closes #2247