From f89b3eeb74b194746e3a050580a17d0400ae2985 Mon Sep 17 00:00:00 2001 From: "pfeldman@chromium.org" Date: Tue, 3 May 2011 08:00:21 +0000 Subject: [PATCH] 2011-05-03 Pavel Feldman Reviewed by Yury Semikhatsky. Web Inspector: [remote debugging] use document.title to set window name. https://bugs.webkit.org/show_bug.cgi?id=60012 * src/js/DevTools.js: (WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged): git-svn-id: http://svn.webkit.org/repository/webkit/trunk@85589 268f45cc-cd09-0410-ab3c-d52691b4dbfc --- Source/WebKit/chromium/ChangeLog | 10 ++++++++++ Source/WebKit/chromium/src/js/DevTools.js | 5 +++++ 2 files changed, 15 insertions(+) diff --git a/Source/WebKit/chromium/ChangeLog b/Source/WebKit/chromium/ChangeLog index aa2f4c45e34..34dc6a5db9a 100644 --- a/Source/WebKit/chromium/ChangeLog +++ b/Source/WebKit/chromium/ChangeLog @@ -1,3 +1,13 @@ +2011-05-03 Pavel Feldman + + Reviewed by Yury Semikhatsky. + + Web Inspector: [remote debugging] use document.title to set window name. + https://bugs.webkit.org/show_bug.cgi?id=60012 + + * src/js/DevTools.js: + (WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged): + 2011-05-02 Alok Priyadarshi Reviewed by Dimitri Glazkov. diff --git a/Source/WebKit/chromium/src/js/DevTools.js b/Source/WebKit/chromium/src/js/DevTools.js index ee54f0c3f06..47e31708daa 100644 --- a/Source/WebKit/chromium/src/js/DevTools.js +++ b/Source/WebKit/chromium/src/js/DevTools.js @@ -178,3 +178,8 @@ WebInspector.setInspectedTabId = function(tabId) { WebInspector._inspectedTabId = tabId; } + +WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged = function(url) +{ + document.title = "Developer Tools - " + url; +} -- GitLab