Issue #3117

Thus allowing a user to specify a non-global regexp, causing a hang
in buildToken

Issue #3117

Closes #3113

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