18/02/06 12:30:39.07 lY4AtcjA0.net
Tab Hiding APIがnightlyに来たときは音が鳴っているタブが隠せなかったんだが
今試したら隠せるようになっていた
これなら実用になるかなと一瞬思ったが
>>435 の言うとおり拡張機能同士の連携が一切考慮されてない仕様なので
タブグループ系のアドオンでグループ切り替えしてタブ隠しても
ほかのアドオンが隠れているタブをアクティブすると
現在のグループにタブが表示されてしまいグループ分けが崩壊する
18/02/06 12:30:39.07 lY4AtcjA0.net
Tab Hiding APIがnightlyに来たときは音が鳴っているタブが隠せなかったんだが
今試したら隠せるようになっていた
これなら実用になるかなと一瞬思ったが
>>435 の言うとおり拡張機能同士の連携が一切考慮されてない仕様なので
タブグループ系のアドオンでグループ切り替えしてタブ隠しても
ほかのアドオンが隠れているタブをアクティブすると
現在のグループにタブが表示されてしまいグループ分けが崩壊する