marijnh/CodeMirror2 — pull request #592 by peterkroon (2012-06-22 06:47:57+00:00)
Title: [Night theme] Added more readable selection color.

[Night theme] Added more readable selection color.