mozilla
/
gecko-dev
зеркало из https://github.com/mozilla/gecko-dev.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

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:
bugzilla%arlen.demon.co.uk 2004-10-25 00:39:27 +00:00
Родитель ed4eadf795
Коммит ecbd9f5cb4
2 изменённых файлов: 3 добавлений и 3 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

4
editor/ui/composer/content/editor.js
Просмотреть файл

@ -2037,8 +2037,8 @@ function UpdateWindowTitle()
} }
// Set window title with " - Composer" appended // Set window title with " - Composer" appended
var xulWin = document.documentElement; var xulWin = document.documentElement;
window.title = windowTitle + xulWin.getAttribute("titlemenuseparator") + document.title = windowTitle + xulWin.getAttribute("titlemenuseparator") +
xulWin.getAttribute("titlemodifier"); xulWin.getAttribute("titlemodifier");
} catch (e) { dump(e); } } catch (e) { dump(e); }
} }

2
editor/ui/dialogs/content/EditorPublishProgress.js
Просмотреть файл

@ -111,7 +111,7 @@ function Startup()
var title = GetDocumentTitle(); var title = GetDocumentTitle();
if (!title) if (!title)
title = "("+GetString("untitled")+")"; title = "("+GetString("untitled")+")";
window.title = GetString("PublishProgressCaption").replace(/%title%/, title); document.title = GetString("PublishProgressCaption").replace(/%title%/, title);
document.getElementById("PublishToSite").value = document.getElementById("PublishToSite").value =
GetString("PublishToSite").replace(/%title%/, TruncateStringAtWordEnd(gPublishData.siteName, 25)); GetString("PublishToSite").replace(/%title%/, TruncateStringAtWordEnd(gPublishData.siteName, 25));