marijnh/CodeMirror — pull request #1785 by kubelsmieci (2013-08-27 16:02:26+00:00)
Title: Update markselection.html

Demo was incorrectly named as showing 'Highlighter', fixed to 'Selection'