ninja-ide/ninja-ide — pull request #160 by diegosarmentero (2012-01-07 04:13:43+00:00)
Title: fixed minor bugs

fixed minor bugs