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

fixing some completion bugs