marijnh/CodeMirror — pull request #1979 by dlkj (2013-11-22 16:00:13+00:00)
Title: show-hint: modified Completion pick to emit "pick" event

modified `addon/hint/show-hint.js` to emit a "pick" event wen a user picks a specific item from the hint widget. This event is useful for dynamically adapting the list of completions based on usage frequency.

Documentation
-----------------------------
"pick" (completion)
Fired when a completion is picked. Passed the completion value (string or object).