diff options
| author | yurys@google.com <yurys@google.com@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-10-15 16:39:52 +0000 |
|---|---|---|
| committer | yurys@google.com <yurys@google.com@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-10-15 16:39:52 +0000 |
| commit | 277dc761d6bb86e62bbdf096df592eb789fc6452 (patch) | |
| tree | a18980bef8a885d54bc54fcebf6ea927c0d17ab0 /webkit/glue/devtools | |
| parent | 9dba11137698bbf5c72a39ccb01fc61da9f4821f (diff) | |
| download | chromium_src-277dc761d6bb86e62bbdf096df592eb789fc6452.zip chromium_src-277dc761d6bb86e62bbdf096df592eb789fc6452.tar.gz chromium_src-277dc761d6bb86e62bbdf096df592eb789fc6452.tar.bz2 | |
DevTools: restore accidentally deleted if block
TBR=apavlov
Review URL: http://codereview.chromium.org/274065
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@29127 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/glue/devtools')
| -rw-r--r-- | webkit/glue/devtools/js/devtools.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/webkit/glue/devtools/js/devtools.js b/webkit/glue/devtools/js/devtools.js index 16ff6da..0c2fb89 100644 --- a/webkit/glue/devtools/js/devtools.js +++ b/webkit/glue/devtools/js/devtools.js @@ -428,6 +428,16 @@ WebInspector.ResourcesPanel.prototype._createResourceView = function( })(); +// Temporary workaround for a patch from WebKit bug 30328. +// TODO(mnaganov): Remove when after WebKit roll. +if (!('addProfile' in WebInspector)) { + WebInspector.addProfile = function(profile) { + WebInspector.__fullProfiles = WebInspector.__fullProfiles || {}; + WebInspector.__fullProfiles[profile.uid] = profile; + WebInspector.addProfileHeader(profile); + }; +} + (function() { var orig = InjectedScriptAccess.getCompletions; |