marijnh/CodeMirror — pull request #1454 by aslushnikov (2013-04-15 09:50:03+00:00)
Title: show-hint addon to emit "hintShowed" and "hintClosed" events

`show-hint.js` addon to emit "hintShowed" and "hintClosed" events. These events are useful to get updates on hint state.