ninja-ide/ninja-ide — pull request #680 by diegosarmentero (2012-06-30 14:02:45+00:00)
Title: fixing some bugs

fixing some bugs