firefox userChrome.js greasemonkeyスクリプトｽﾚ 4

firefox userChrome.js greasemonkeyスクリプトｽﾚ 4 at SOFTWARE

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

50:名無しさん＠お腹いっぱい。
 08/02/12 19:49:22 6NJRz0gc0
>>47 
>  文字の拡大・縮小ボタンを追加したい 
ttp://space.geocities.jp/alice0775/index3.html 
 
>  タブ幅の最大・最小表示幅を変更 
Fx3なら、browser.tabs.tabMaxWidth、browser.tabs.tabMinWidthで指定。 
Fx2なら、「firefox userChrome.js greasemonkeyスクリプトｽﾚ 3」の926にスクリプトがある。 
//(Fx2用)about:configで 整数値:browser.tabs.tabMaxWidth, browser.tabs.tabMinWidth を設定 
(function(){ 
//新規タブの幅 
var func = gBrowser.addTab.toSource(); 
func = func.replace( 
"t.maxWidth = 250;", 
"t.maxWidth = Components.classes['@mozilla.org/preferences-service;1']." 
+"getService(Components.interfaces.nsIPrefBranch2)." 
+"getIntPref('browser.tabs.tabMaxWidth');" 
); 
eval("gBrowser.addTab = " + func); 
//起動時のタブ幅復元 
var maxWidth = Components.classes['@mozilla.org/preferences-service;1']. 
getService(Components.interfaces.nsIPrefBranch2). 
getIntPref('browser.tabs.tabMaxWidth'); 
setTimeout(function(){ 
for(var i= 0; i < gBrowser.mTabContainer.childNodes.length; i++){ 
var aTab = gBrowser.mTabContainer.childNodes[i]; 
aTab.maxWidth = maxWidth; 
} 
} 
,0); 
})();

次ページ