ninja-ide/ninja-ide — pull request #1025 by Noelkd (2012-12-04 21:37:54+00:00)
Title: Fixed Issue #1018 

Changed menu item from Shift to ctrl