ninja-ide/ninja-ide — pull request #159 by diegosarmentero (2012-01-07 04:06:56+00:00)
Title: Some minor bugs fixed.

Some minor bugs fixed.