ninja-ide/ninja-ide — pull request #1143 by diegosarmentero (2013-03-12 23:55:40+00:00)
Title:  Fixed Issue #1107 

Fixed Issue #1107