increpare/PuzzleScript — pull request #141 by mechturk (2014-04-16 21:58:47+00:00)
Title: Automatic caseFold search

Change the hooks in js/codemirror/searchcursor.js so that they call functions with the argument caseFold = true;
Fixes #140.