From 85adeab8a82dfb73f7e108e2376058b4ff033226 Mon Sep 17 00:00:00 2001
From: Jeffrey Morgan <jmorganca@gmail.com>
Date: Sun, 18 Oct 2015 16:08:01 -0700
Subject: [PATCH] In menu, rename devtools => Chromium Developer Tools

Signed-off-by: Jeffrey Morgan <jmorganca@gmail.com>
---
 src/menutemplate.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/menutemplate.js b/src/menutemplate.js
index dbd99b3c3..3322ec7d6 100644
--- 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(); }
         }