ninja-ide/ninja-ide — pull request #507 by perrito666 (2012-05-21 03:06:40+00:00)
Title: Fixed #423

Now there is a replace selection button so it has no longer the confusing behavior.
Replace works as before and replace in selection has to be triggered ex profeso