marijnh/CodeMirror2 — pull request #530 by feizhang365 (2012-05-07 08:15:22+00:00)
Title: fixed search case-sensitive logic

the bug is if you search a lowercase string the search result will always have all lowercase or upcase string.