marijnh/CodeMirror — pull request #1747 by Gozala (2013-08-14 07:23:43+00:00)
Title: Fix activeline plugin support

Make theme activeline plugin compatible.