marijnh/CodeMirror — pull request #2614 by mtaran-google (2014-06-04 21:27:50+00:00)
Title: [paste] Fix #2384 and #1883

As described in the comment, there was actually an intermediate selection being created, which clobbered the middle-click paste buffer and thus resulted in a $ being pasted instead of the actual content the user wanted. It's still a mystery why you couldn't repro it, but my guess is that due to some configuration (maybe in your window manager) your system wasn't updating the paste buffer as eagerly as Debian and Unity do by default.