From 56f080619e2d25584190d077bf6a9872bc4886f5 Mon Sep 17 00:00:00 2001
From: David Baker <dave@matrix.org>
Date: Fri, 28 Oct 2016 12:06:55 +0100
Subject: [PATCH] Just include dev tools in the menu: it's handy

---
 electron/src/electron-main.js | 2 --
 electron/src/vectormenu.js    | 7 +++++++
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/electron/src/electron-main.js b/electron/src/electron-main.js
index 47a6c9ac40..d1b3ba3a14 100644
--- a/electron/src/electron-main.js
+++ b/electron/src/electron-main.js
@@ -117,8 +117,6 @@ electron.app.on('ready', () => {
         icon: `${__dirname}/../../vector/img/logo.png`,
         width: 1024, height: 768,
     });
-    // A useful one to uncomment for debugging
-    //mainWindow.webContents.openDevTools();
     mainWindow.loadURL(`file://${__dirname}/../../vector/index.html`);
     electron.Menu.setApplicationMenu(VectorMenu);
 
diff --git a/electron/src/vectormenu.js b/electron/src/vectormenu.js
index 4c6b284bb9..cfbfff98f2 100644
--- a/electron/src/vectormenu.js
+++ b/electron/src/vectormenu.js
@@ -70,6 +70,13 @@ const template = [
       },
       {
         role: 'togglefullscreen'
+      },
+      {
+        label: 'Toggle Developer Tools',
+        accelerator: process.platform == 'darwin' ? 'Alt+Command+I' : 'Ctrl+Shift+I',
+        click: function(item, focusedWindow) {
+          if (focusedWindow) focusedWindow.toggleDevTools();
+        }
       }
     ]
   },