Closes #3114

Looking up arbitrary strings without a hasOwnProperty check
never ends well.

Closes #3106

Issue #3104

Margins for gutter markers aren't supported, and this was
pushing the numbers into the content.

Issue #3098

Issue #3098

Closes #2581

Closes #2858

Closes #3073

It was a broken mess. The Smarty mode now supports a base mode.

Issue #2871

Issue #2871

At least that works.

Closes #1788

Closes #3099

We're still targeting ES3.

Typing the same character multiple times in a row would
cause a character to be deleted.

So that styling content causes a redraw, removing the style

Since preventDefaulting the first touchend event means the native
behavior won't happen anymore, this is seems to be the only way
to make multi-tap work for iOS.

Since Mobile Chrome's clipboard API is broken and does not let us
intercept paste events, we need full contenteditable to be able
to paste code with newlines.

Issue #3062

Selecting and copying a large chunk of text places a single dash into clipboard.

This is related to line 1285, where the input's content is trimmed for performance:

https://github.com/codemirror/CodeMirror/blob/mobile/lib/codemirror.js#L1285

    minimal = hasCopyEvent &&
      (range.to().line - range.from().line > 100 || (selected = cm.getSelection()).length > 1000);
    var content = minimal ? "-" : selected || cm.getSelection();

The problem is apparently a typo during refactoring/renaming from 'd' on the master branch to 'input' here.

Since that might end up calling resetInput and creating an
inconsistent state.

Issue #3046

It can create a kind of phantom-focus state where the textarea
is focused but you can't type into it.

Issue #3041