marijnh/CodeMirror2 — pull request #657 by peterkroon (2012-07-24 18:58:11+00:00)
Title: [codemirror.js] Whenever setting lineNumberFormatter, update the gutter

Whenever setting lineNumberFormatter, update the gutter