From f828565295e2fe0e580098cd625853c0b5fcbb8b Mon Sep 17 00:00:00 2001 From: "pfeldman@chromium.org" Date: Tue, 3 May 2011 09:13:32 +0000 Subject: [PATCH] 2011-05-03 Pavel Feldman Not reviewed: re-applied r85589. * src/js/DevTools.js: (.WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged): git-svn-id: http://svn.webkit.org/repository/webkit/trunk@85592 268f45cc-cd09-0410-ab3c-d52691b4dbfc --- Source/WebKit/chromium/ChangeLog | 7 +++++++ Source/WebKit/chromium/src/js/DevTools.js | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/Source/WebKit/chromium/ChangeLog b/Source/WebKit/chromium/ChangeLog index 34dc6a5db9a..6e4a649dfff 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 ee54f0c3f06..a7b5d6c737f 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; + } +} -- GitLab