表示倍率の拡大・縮小がホイールに割り当てられるならPig以外に切り替えられるんだけどなあ
ランチャー機能なき今、Pigに拘る理由が無くなったし
ああ、辛うじて一つだけあるか、閉じたタブを開く機能が