dart-lang/chromedeveditor — pull request #3561 by ussuri (2014-10-19 08:12:43+00:00)
Title: Re-enable + fine-tune options in search/replace dialog

@devoncarew

![screen shot 2014-10-19 at 1 10 30 am](https://cloud.githubusercontent.com/assets/5606182/4692495/a687a3de-5767-11e4-9545-dcfaac247434.png)