Allow opening dev-tools using keyboard shortcut in Electron (#6262)

Fixes #6249 See [Electron docs](https://www.electronjs.org/docs/latest/api/browser-window). We were explicitly disabling the ability to open dev-tools unless `debug.dev-tools` flag is provided.
enso-org · Apr 17, 2023 · b700679 · b700679
1 parent 93b9ca7
commit b700679
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/app/ide-desktop/lib/client/src/index.ts b/app/ide-desktop/lib/client/src/index.ts
@@ -206,7 +206,6 @@ class App {
                     preload: pathModule.join(paths.APP_PATH, 'preload.cjs'),
                     sandbox: true,
                     backgroundThrottling: argGroups.performance.options.backgroundThrottling.value,
-                    devTools: argGroups.debug.options.devTools.value,
                     enableBlinkFeatures: argGroups.chrome.options.enableBlinkFeatures.value,
                     disableBlinkFeatures: argGroups.chrome.options.disableBlinkFeatures.value,
                     spellcheck: false,