Changed Dev Tool keybind from F12 to Ctrl+F12. (#16)

Merged.
WesternGamer · Oct 27, 2021 · 3773f66 · 3773f66
1 parent 97b9ea9
commit 3773f66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/EnhancedUI/Gui/ChromiumGuiControl.Input.cs b/EnhancedUI/Gui/ChromiumGuiControl.Input.cs
@@ -24,7 +24,7 @@ public override MyGuiControlBase HandleInput()
                 return base.HandleInput();
 
             // F12 opens Chromium's Developer Tools in a new window
-            if (MyInput.Static.IsNewKeyPressed(MyKeys.F12))
+            if (MyInput.Static.IsNewKeyPressed(MyKeys.F12) && MyInput.Static.IsAnyCtrlKeyPressed())
             {
                 OpenWebDeveloperTools();
             }