Firefox userChrome.js greasemonkeyスクリプトｽﾚ12

Firefox userChrome.j ..

539:名無しさん＠お腹いっぱい。
10/06/07 21:02:47 xf16Xh7v0
>>535,536
大変有用な情報をありがとうございました。とりあえずここまで来ました。

(function(){
gBrowser.updateTitlebar = Function();
var mainWindow = document.getElementById("main-window");
var originalName = mainWindow.getAttribute("title_normal");
var pagehost = document.domain; // <- ここがわからない
document.title = pagehost + " - " + originalName;
})();

あとは location.hostname あるいは document.domain を使う必要があるのですが
上記コメントにあるように、その取得方法がよく分かりません。
(あと gBrowser.updateTitlebar = Function() の再帰っぽいのもよく分かっていません)
再度アドバイスをいただけないでしょうか。よろしくお願いします。

次ページ

続きを表示

1を表示