2007-06-25

Firefoxを快適に使うチョイ技  -タブを閉じる

タブブラウザであるFirefoxを使っていると、ついつい、たくさんのタブを開いてしまいがちです。
必要な一つのタブだけ残して、その他のすべての不要なタブを閉じるときにはどうするか。

・クローズボタンを開いている不要なタブの数だけ押す
・Tab Mix Plusの機能を利用し、必要なページのタブ上にマウスカーソルを移動し、右クリック後、Other Tabsを選択して閉じる
・マウスジェスチャにその他のタブを閉じるを割り当て、ジェスチャーを実行する。

など、いずれかの動作をするでしょう。

おいらはたいへんものぐさな人間です。歩くナマケモノと呼ばれています。
当然、マウスに手を持って行くのがうざったい。マウスを使わずに不要なタブを閉じたい!!
では、どうするか?
で、本題のチョイ技です。

1.必要なタブを表示させる。
 デフォルトでは Ctrl + TAB でタブ間の移動ができます。これで選択しても好し。
あるいは、Ctrl + 数字 でタブを選択することができます。左から順番に1、2,3となります。たとえば左から五番目のタブを選択したいときは Ctrl + 5 とすれば目的のタブが選べます。


2.「選択しているタブ以外を閉じる」という動作をfunctions for keyconfigという拡張を利用して任意のキーに割り当てる。

 functions for keyconfigという拡張をインストールしてください。
そのさい、keyconfigという拡張も必要となるので、それもインストールします。
 「選択しているタブ以外を閉じる」というスクリプトを任意のキーに割り当てます。
割り当ての方法についての詳細は、役に立たない拙作ブログを参照してください。

割り当てるスクリプト

var browser = getBrowser(); browser.removeAllTabsBut(browser.mCurrentTab);br />

割り当てるキー おいらの場合は  Alt + Shift + ↓ です

おまけ バリエーション
選択しているタブより右側のタブをすべて閉じる(選択タブは含まず)場合

var tabs = gBrowser.mTabContainer.childNodes;
for (var i = tabs.length - 1; tabs[i] != gBrowser.selectedTab; i--)
{
gBrowser.removeTab(tabs[i]);
}

選択しているタブより左側のタブをすべて閉じる(選択タブは含まず)場合

var tabs = gBrowser.mTabContainer.childNodes;
for (var i = tabs.length - 1; tabs[i] != gBrowser.mCurrentTab; i--){}
for (i--; i >=0 ; i--){
gBrowser.removeTab(tabs[i]);
}

スクリプトはいずれもSCRAPBLOG : [userChrome.js] 軽量マウスジェスチャで利用可能なスクリプト集のものを使わせていただきました。感謝です。




3.設定した任意のキーを実行する。

設定するまでが、ちょいと面倒ではありますが、ひとたび設定してしまうと、マウスを使うことなくタブが閉じられる快感に身もだえしてしまいます。(たぶんおいらだけですが・・・)

0 件のコメント: