restore gui/launcher dev mode hotkey to Ctrl-D

Author: myk002

changelog.txt

@@ -34,6 +34,7 @@ Template for new versions:
 - `gui/notify`: persist notification settings when toggled in the UI
 
 ## Misc Improvements
+- `gui/launcher`: developer mode hotkey restored to Ctrl-D
 
 ## Removed
 

docs/gui/launcher.rst

@@ -108,4 +108,4 @@ Dev mode
 
 By default, commands intended for developers and modders are filtered out of the
 autocomplete list. This includes any tools tagged with ``unavailable``. You can
-toggle this filtering by hitting :kbd:`Alt`:kbd:`D` at any time.
+toggle this filtering by hitting :kbd:`Ctrl`:kbd:`D` at any time.

gui/launcher.lua

@@ -490,7 +490,7 @@ end
 function MainPanel:onInput(keys)
     if MainPanel.super.onInput(self, keys) then
         return true
-    elseif keys.CUSTOM_ALT_D then
+    elseif keys.CUSTOM_CTRL_D then
         dev_mode = not dev_mode
         self.update_autocomplete(get_first_word(self.subviews.editfield.text))
         return true