ninja-ide/ninja-ide — pull request #799 by diegosarmentero (2012-08-18 16:08:35+00:00)
Title:  Fixed Issue #797 

Fixed Issue #797