ninja-ide/ninja-ide — pull request #1150 by diegosarmentero (2013-03-16 18:36:47+00:00)
Title:   Fixed Issue #1125 

Fixed Issue #1125