A leading minus isn't part of the number token, but numbers can
start with a dot, which wasn't handled before.

Closes #1753

Changes in https://github.com/marijnh/CodeMirror/pull/1731 are missing.

This makes error.stack parsing work in Firefox and Opera 12-, and maybe in Safari too (didn't test).

Rather than adding a new rule.

Issue #1747

Closes #1744

Issue #1741

When the cursor blink rate is zero (or negative) the cursor should not
blink.  Previously, it was blinking as fast as possible when the rate
was zero.

Issue #1739

Issue #1739

Issue #1735

Issue #1743

current delay of 100ms between selection of word to highlighting is almost instantaneous.

To prevent a lot of DOM nodes from sticking around after measuring a
long line, easing the pressure on the GC.

Issue #902

It seems recent versions of Chrome/Blink fire the handler first,
and then clear the selection.

Issue #1730

(Works in real browsers.)

Closes #1726

 * Updated for CodeMirror 3 - added comment clock declarations

 * Corrected handling of macro calls with a body

 * Added extra features for detecting variables within strings and
   methods & properties of objects

 * Corrected the detection of methods and properties of Java objects