From af197d575f9748de72ac02971d7faad133e22065 Mon Sep 17 00:00:00 2001
From: "asqueella%gmail.com" <asqueella%gmail.com>
Date: Mon, 5 Feb 2007 22:45:57 +0000
Subject: [PATCH] Bug 221934 - Display page title in DOM Inspector Window patch
 by Michael Gall <michael@wakeless.net> r=db48x, sr=neil

---
 extensions/inspector/resources/content/inspector.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/extensions/inspector/resources/content/inspector.js b/extensions/inspector/resources/content/inspector.js
index 1620733b6a51..75278a24f6ff 100644
--- a/extensions/inspector/resources/content/inspector.js
+++ b/extensions/inspector/resources/content/inspector.js
@@ -179,7 +179,17 @@ InspectorApp.prototype =
         if (aEvent.target == this.mDocPanel.viewer &&
             aEvent.subject && "location" in aEvent.subject) {
           this.locationText = aEvent.subject.location; // display document url
+
+          var docTitle = aEvent.subject.title || aEvent.subject.location; 
+          if (/Mac/.test(navigator.platform)) {
+            document.title = docTitle;
+          } else {
+            document.title = docTitle + " - " + 
+              document.documentElement.getAttribute("title");
+          }
         }
+        break;
+      }
     }
   },