ninja-ide/ninja-ide — pull request #569 by diegosarmentero (2012-06-06 13:22:12+00:00)
Title: Adding debugging tricks

Adding debugging tricks