ninja-ide/ninja-ide — pull request #75 by diegosarmentero (2011-11-22 22:44:35+00:00)
Title: Locator improved and a little bug fixed for searchs in the same file.

Locator improved and a little bug fixed for searchs in the same file.