ninja-ide/ninja-ide — pull request #321 by perrito666 (2012-03-09 22:28:52+00:00)
Title: Fixed #320

Fixed a problem where find search was causing problems with the conditions of find and replace.