ninja-ide/ninja-ide — pull request #582 by diegosarmentero (2012-06-13 01:17:21+00:00)
Title: Several bugs fixed

Several bugs fixed