marijnh/CodeMirror2 — pull request #576 by njx (2012-06-12 18:36:20+00:00)
Title: Restore search heuristic for doing case-insensitive search when query string is all lowercase.

This restores the behavior of the search dialog to the way it worked before 2882079.