From bdd633d58ee651b4165f2e4a5244311c35497efb Mon Sep 17 00:00:00 2001 From: "bugzilla%arlen.demon.co.uk" Date: Mon, 25 Oct 2004 00:39:27 +0000 Subject: [PATCH] Bug 264102 Chrome should use document.title instead of window.title - editor fixes (without EdColorPicker.js changes as these will be fixed in the patch to bug 260217) p=me r=daniel sr=neil.parkwaycc.co.uk --- editor/ui/composer/content/editor.js | 4 ++-- editor/ui/dialogs/content/EditorPublishProgress.js | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/editor/ui/composer/content/editor.js b/editor/ui/composer/content/editor.js index c161fd342a5..7aed0a7af13 100644 --- a/editor/ui/composer/content/editor.js +++ b/editor/ui/composer/content/editor.js @@ -2037,8 +2037,8 @@ function UpdateWindowTitle() } // Set window title with " - Composer" appended var xulWin = document.documentElement; - window.title = windowTitle + xulWin.getAttribute("titlemenuseparator") + - xulWin.getAttribute("titlemodifier"); + document.title = windowTitle + xulWin.getAttribute("titlemenuseparator") + + xulWin.getAttribute("titlemodifier"); } catch (e) { dump(e); } } diff --git a/editor/ui/dialogs/content/EditorPublishProgress.js b/editor/ui/dialogs/content/EditorPublishProgress.js index d779b00fd0b..2223afdb43d 100644 --- a/editor/ui/dialogs/content/EditorPublishProgress.js +++ b/editor/ui/dialogs/content/EditorPublishProgress.js @@ -111,7 +111,7 @@ function Startup() var title = GetDocumentTitle(); if (!title) title = "("+GetString("untitled")+")"; - window.title = GetString("PublishProgressCaption").replace(/%title%/, title); + document.title = GetString("PublishProgressCaption").replace(/%title%/, title); document.getElementById("PublishToSite").value = GetString("PublishToSite").replace(/%title%/, TruncateStringAtWordEnd(gPublishData.siteName, 25));