feat: add developer tools shortcuts

closes #323
wexond · Sep 19, 2019 · 91eed46 · 91eed46
1 parent 95c4055
commit 91eed46
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/src/main/menus/main.ts b/src/main/menus/main.ts
@@ -172,6 +172,26 @@ export const getMainMenu = (windowsManager: WindowsManager) => {
             });
           },
         },
+        {
+          accelerator: 'F12',
+          label: 'Toggle developer tools (contents)',
+          visible: false,
+          click() {
+            setTimeout(() => {
+              windowsManager.currentWindow.viewManager.selected.webContents.openDevTools();
+            });
+          },
+        },
+        {
+          accelerator: 'Ctrl+Shift+I',
+          label: 'Toggle developer tools (contents)',
+          visible: false,
+          click() {
+            setTimeout(() => {
+              windowsManager.currentWindow.viewManager.selected.webContents.openDevTools();
+            });
+          },
+        },
       ],
     },
     { role: 'editMenu' },