diff options
| author | pfeldman@chromium.org <pfeldman@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-05-27 14:51:21 +0000 |
|---|---|---|
| committer | pfeldman@chromium.org <pfeldman@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-05-27 14:51:21 +0000 |
| commit | 96d3fb5954088dc929dcedfd82c5b6a05e0e3116 (patch) | |
| tree | 76ed5f9f30336f17016d26856b85c55443664820 /chrome/app | |
| parent | 4079724701312d23a68a148158c8024f0433fbd8 (diff) | |
| download | chromium_src-96d3fb5954088dc929dcedfd82c5b6a05e0e3116.zip chromium_src-96d3fb5954088dc929dcedfd82c5b6a05e0e3116.tar.gz chromium_src-96d3fb5954088dc929dcedfd82c5b6a05e0e3116.tar.bz2 | |
DevTools: Add 'Enable Developer Tools' option into the Advanced tab. Hide developer tools by default.
Review URL: http://codereview.chromium.org/117003
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@16984 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'chrome/app')
| -rw-r--r-- | chrome/app/generated_resources.grd | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/chrome/app/generated_resources.grd b/chrome/app/generated_resources.grd index 9b5fa57..388d46f 100644 --- a/chrome/app/generated_resources.grd +++ b/chrome/app/generated_resources.grd @@ -3673,6 +3673,10 @@ each locale. --> Don't reset </message> + <message name="IDS_OPTIONS_ENABLE_DEVTOOLS" desc="The label of the Enable Developer Tools checkbox in the 'Advanced options'"> + Enable Developer Tools + </message> + <!-- Can't write to user data directory dialog --> <message name="IDS_CANT_WRITE_USER_DIRECTORY_TITLE" desc="Title of dialog that is displayed when we can't create a directory for this user."> Failed To Create Data Directory @@ -3716,6 +3720,9 @@ each locale. --> <message name="IDS_OPTIONS_ADVANCED_SECTION_TITLE_NETWORK"> Network </message> + <message name="IDS_OPTIONS_ADVANCED_SECTION_TITLE_DEVTOOLS"> + Developer Tools + </message> <!-- Script Timeout Dialog --> <message name="IDS_SCRIPT_TIMEOUT_DIALOG_TITLE" desc="Title of the script timeout dialog."> |