ajaxorg/ace — pull request #1324 by matthewkastor (2013-03-25 08:15:44+00:00)
Title: Adds search options to find / find&replace

I use regex searches all the time for finding and replacing text
so I changed the searchbox extension a little bit to do what I want.
I added in the whole word and case sensitive options too. It works
nicely and updates the highlighted bits when the checkboxes change.