ninja-ide/ninja-ide — pull request #898 by diegosarmentero (2012-10-06 23:31:14+00:00)
Title:  Fixed Issue #896 

Fixed Issue #896