marijnh/CodeMirror2 — pull request #340 by peterkroon (2012-01-31 00:23:02+00:00)
Title: Make lineNumbers+gutter work again.

When default set to true, one was unable to remove the lineNumbers/gutter when set to false via script/console.