mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-22 13:48:00 +01:00
merge improved setTitleString() from MAIN
This commit is contained in:
@@ -224,7 +224,10 @@ function Options() //{{{
|
||||
function setTitleString(value)
|
||||
{
|
||||
document.getElementById("main-window").setAttribute("titlemodifier", value);
|
||||
document.title = window.content.document.title + " - " + value; // not perfect fix, but good enough
|
||||
if (window.content.document.title.length > 0)
|
||||
document.title = window.content.document.title + " - " + value;
|
||||
else
|
||||
document.title = value;
|
||||
}
|
||||
|
||||
//
|
||||
|
||||
Reference in New Issue
Block a user