ninja-ide/ninja-ide — pull request #78 by diegosarmentero (2011-11-23 21:24:46+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.