ninja-ide/ninja-ide — pull request #523 by diegosarmentero (2012-05-25 11:21:26+00:00)
Title: Fixed Issue #459 

Fixed Issue #459