ninja-ide/ninja-ide — pull request #720 by diegosarmentero (2012-07-09 15:26:53+00:00)
Title: fixing shortcuts

fixing shortcuts