ninja-ide/ninja-ide — pull request #1137 by diegosarmentero (2013-03-12 18:08:06+00:00)
Title:  Fixed Issue #1105 

Fixed Issue #1105