ninja-ide/ninja-ide — pull request #501 by diegosarmentero (2012-05-19 00:24:54+00:00)
Title: Some improves in the code locator.

Some improves in the code locator.