docker/docs
1
0
Fork 0
mirror of https://github.com/docker/docs.git synced 2026-11-06 12:54:24 +03:00
Code Activity

In menu, rename devtools => Chromium Developer Tools

Browse Source 
Signed-off-by: Jeffrey Morgan <jmorganca@gmail.com>
This commit is contained in:
Jeffrey Morgan
2015-10-18 16:08:01 -07:00
parent 92e821cf47
commit 85adeab8a8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/menutemplate.js
View File

@@ -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(); }
}