diff --git a/Source/WebKit/chromium/ChangeLog b/Source/WebKit/chromium/ChangeLog index 34dc6a5db9a8e11baee1e1b7d7ffd5b1702a6354..6e4a649dfffda6f267e9ce809caedb9fce008b60 100644 --- a/Source/WebKit/chromium/ChangeLog +++ b/Source/WebKit/chromium/ChangeLog @@ -1,3 +1,10 @@ +2011-05-03 Pavel Feldman + + Not reviewed: re-applied r85589. + + * src/js/DevTools.js: + (.WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged): + 2011-05-03 Pavel Feldman Reviewed by Yury Semikhatsky. diff --git a/Source/WebKit/chromium/src/js/DevTools.js b/Source/WebKit/chromium/src/js/DevTools.js index ee54f0c3f069bb80b88c366eb6e506e7c3f2c5f2..a7b5d6c737f568a410f3b630bf740d5a2210094f 100644 --- a/Source/WebKit/chromium/src/js/DevTools.js +++ b/Source/WebKit/chromium/src/js/DevTools.js @@ -178,3 +178,10 @@ WebInspector.setInspectedTabId = function(tabId) { WebInspector._inspectedTabId = tabId; } + +if (WebInspector.InspectorFrontendHostStub) { + WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged = function(url) + { + document.title = "Developer Tools - " + url; + } +}