wbsoft/frescobaldi — pull request #320 by uliska (2013-12-13 13:43:54+00:00)
Title: Improve search field behaviour

For details see commit messages and #319.

I think after this one should do something similar for replace.