Merge pull request #2915 from vector-im/dbkr/use_dev_tools_role

Use the role for 'toggle dev tools'
element-hq · Jan 11, 2017 · 15528ef · 15528ef
2 parents 278de13 + b71f96e
commit 15528ef
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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'
             }
         ]
     },