marijnh/CodeMirror2 — pull request #590 by peterkroon (2012-06-22 06:40:15+00:00)
Title: [Theme, vibrant-ink] Add visible selection color.

[Theme, vibrant-ink] Add visible selection color.