From b71f96e4e5de520f1bbc7166b2bbd0ba1ffae4af Mon Sep 17 00:00:00 2001
From: David Baker <dave@matrix.org>
Date: Wed, 11 Jan 2017 10:28:04 +0000
Subject: [PATCH] Use the role for 'toggle dev tools'

Let electron handle it rather than doing it ourselves
---
 electron/src/vectormenu.js | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/electron/src/vectormenu.js b/electron/src/vectormenu.js
index f4d55c15a..70ed3ac33 100644
--- a/electron/src/vectormenu.js
+++ b/electron/src/vectormenu.js
@@ -72,11 +72,7 @@ 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();
-                }
+                role: 'toggledevtools'
             }
         ]
     },