marijnh/CodeMirror — pull request #2180 by WebsiteDeveloper (2014-01-26 22:05:59+00:00)
Title: Add overwriteToggle event

I added an overwriteToggle event to allow for custom UI elements reacting to an overwrite mode change.
For info see discussion here https://github.com/adobe/brackets/pull/6328