marijnh/CodeMirror — pull request #1712 by aslushnikov (2013-07-29 17:01:13+00:00)
Title: Fix race condition with text pasting

This patch fixes race condition with text pasting:

- Copy single word
- Press Ctrl-V and keep it pressed for some time; you'll see $ signs popping here and there

The issue was introduces by https://github.com/marijnh/CodeMirror/pull/1708