Closes #3652

We now disable pointer events on them (again) and temporarily
re-enable those when scrolling.

Fixes a problem where you could not click to put the cursor
'under' the hidden scrollbar areas at the right and bottom.

Issue #2326

... using the type option.

Closes #3600

Issue #3550

Make it actually work, document it, declare the option,
make sure the code runs on pre-ES5 browsers.

Issue #3550

Which was (possibly accidentally) dropped in the input style overhaul.

Closes #3555

Which wasn't taken into account in this input backend at all,
up to this point.

See http://discuss.codemirror.net/t/read-only-support-in-mobile-safari/470/1

Issue #3257

Issue #2101

Issue #3474

Fixes #3449

* Fix bug where you could paste into a `readOnly` editor
* Show a cursor at the drop location when dragging over the editor
* The [Rust mode](http://codemirror.net/mode/rust/index.html) was
  rewritten to handle modern Rust
* The editor and theme CSS was cleaned up. Some selectors are now
  less specific than before
* New theme: [abcdef](http://codemirror.net/demo/theme.html#abcdef)
* Lines longer than [`maxHighlightLength`](http://codemirror.net/doc/manual.html#option_maxHighlightLength)
  are now less likely to mess up indentation
* New addons: [`autorefresh`](http://codemirror.net/doc/manual.html#addon_autorefresh)
  for refreshing an editor the first time it becomes visible, and `html-lint` for using [HTMLHint](http://htmlhint.com/)
* The [`search`](http://codemirror.net/doc/manual.html#addon_search)
  addon now recognizes `\r` and `\n` in pattern and replacement input

Closes #3457

Should reduce the indentation issues after long lines

Issue #3443

Issue #3434

Also some general improvements to material.css and solarized.css

Closes #2645

Closes #3410

Issue #3401

Issue #3395

Issue #3395

When something is redraw, we definitely need to do the consistency-
ensuring that is done by a display update.

Issue #3387

Issue #3357