okamstudio/godot — pull request #985 by adolson (2014-12-17 20:59:36+00:00)
Title: change shortcut for toggle-comment to Ctrl+K

change shortcut for toggle-comment to Ctrl+K
Ctrl+/ is not standard, doesn't work on eg: German keyboards.
Ctrl+K was already used for commenting lines, so I just replaced it with the newer, better, toggle function.