diff options
| author | Steve Block <steveblock@google.com> | 2011-05-18 13:36:51 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2011-05-24 15:38:28 +0100 |
| commit | 2fc2651226baac27029e38c9d6ef883fa32084db (patch) | |
| tree | e396d4bf89dcce6ed02071be66212495b1df1dec /Source/WebKit/chromium/src/js/DevTools.js | |
| parent | b3725cedeb43722b3b175aaeff70552e562d2c94 (diff) | |
| download | external_webkit-2fc2651226baac27029e38c9d6ef883fa32084db.zip external_webkit-2fc2651226baac27029e38c9d6ef883fa32084db.tar.gz external_webkit-2fc2651226baac27029e38c9d6ef883fa32084db.tar.bz2 | |
Merge WebKit at r78450: Initial merge by git.
Change-Id: I6d3e5f1f868ec266a0aafdef66182ddc3f265dc1
Diffstat (limited to 'Source/WebKit/chromium/src/js/DevTools.js')
| -rw-r--r-- | Source/WebKit/chromium/src/js/DevTools.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Source/WebKit/chromium/src/js/DevTools.js b/Source/WebKit/chromium/src/js/DevTools.js index d6536bc..3d61be7 100644 --- a/Source/WebKit/chromium/src/js/DevTools.js +++ b/Source/WebKit/chromium/src/js/DevTools.js @@ -41,6 +41,7 @@ var context = {}; // Used by WebCore's inspector routines. Preferences.ignoreWhitespace = false; Preferences.samplingCPUProfiler = true; Preferences.heapProfilerPresent = true; + Preferences.detailedHeapProfiles = false; Preferences.debuggerAlwaysEnabled = true; Preferences.profilerAlwaysEnabled = true; Preferences.canEditScriptSource = true; @@ -88,6 +89,18 @@ WebInspector.UIString = function(string) }; +/* + * This label must be kept consistent with that in English.lproj/localizedStrings.js + * + * http://code.google.com/p/chromium/issues/detail?id=61302 requires a custom label for Chromium, + * since its behavior is different. + */ +WebInspector.openLinkExternallyLabel = function() +{ + return WebInspector.UIString("Open Link in New Tab"); +}; + + /** Pending WebKit upstream by apavlov). Fixes iframe vs drag problem. */ (function() { |