Changeset 85589 in webkit

Timestamp:

May 3, 2011 1:00:21 AM (13 years ago)

Author:

pfeldman@chromium.org

Message:

2011-05-03 Pavel Feldman <​pfeldman@google.com>

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):

Location:

trunk/Source/WebKit/chromium

Files:

• ChangeLog (modified) (1 diff)
• src/js/DevTools.js (modified) (1 diff)

trunk/Source/WebKit/chromium/ChangeLog

@@ +1 @@
+2011-05-03  Pavel Feldman  <pfeldman@google.com>
+
+        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  <alokp@chromium.org>
 

trunk/Source/WebKit/chromium/src/js/DevTools.js

@@ -179 +179 @@
     WebInspector._inspectedTabId = tabId;
 }
+
+WebInspector.InspectorFrontendHostStub.prototype.inspectedURLChanged = function(url)
+{
+    document.title = "Developer Tools - " + url;
+}