In menu, rename devtools => Chromium Developer Tools

Signed-off-by: Jeffrey Morgan <[email protected]>
docker · Oct 18, 2015 · 85adeab · 85adeab
1 parent 92e821c
commit 85adeab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/menutemplate.js b/src/menutemplate.js
@@ -130,7 +130,7 @@ var MenuTemplate = function () {
       label: 'View',
       submenu: [
         {
-          label: 'Toggle DevTools',
+          label: 'Toggle Chromium Developer Tools',
           accelerator: 'Alt+' + util.CommandOrCtrl() + '+I',
           click: function() { remote.getCurrentWindow().toggleDevTools(); }
         }