зеркало из https://github.com/mozilla/pjs.git
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
This commit is contained in:
Родитель
8ba1f8aa5d
Коммит
bdd633d58e
|
@ -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); }
|
||||
}
|
||||
|
||||
|
|
|
@ -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));
|
||||
|
|
Загрузка…
Ссылка в новой задаче