marijnh/CodeMirror — pull request #1616 by azarubin (2013-06-17 02:22:41+00:00)
Title: Move Lines add-on

Implemented functionality for moving lines up and down in a movelines.js add-on.