ninja-ide/ninja-ide — pull request #650 by diegosarmentero (2012-06-24 15:35:29+00:00)
Title: fixing some completion bugs

fixing some completion bugs