ninja-ide/ninja-ide — pull request #893 by diegosarmentero (2012-10-05 17:51:11+00:00)
Title:  Fixed Issue #820 

Fixed Issue #820