ninja-ide/ninja-ide — pull request #572 by diegosarmentero (2012-06-08 00:33:36+00:00)
Title: Fixing some shortcuts issues between the splits 

Fixing some shortcuts issues between the splits