4 ms·

> ... one of the most requested features has been the ability to hide tabs with the WebExtensions API. It was a key element of some very popular legacy add-ons

> ... one of the most requested features has been the ability to hide tabs with the WebExtensions API. It was a key element of some very popular legacy add-ons ... It's weird that they are not mentioning Tree Style Tabs by name. But, at least they're listening the the user requests. I don't use the plugin myself, but I heard that one of the gripes of the new WebExtensions version is that it still shows the normal horizontal tabs.

wlesieutre 9y ago
Seems reasonable to not mention a specific one by name so as not to play favorites going forward if someone else wants to make a competitor. Or maybe a Grid Style Tabs, or who knows what. I imagine it's the same tone they use for discussion of adblocker related features, "we need this for content blocking addons" rather than "we need this to support uBlock Origin." Hiding the top tabs can be done in current versions but you have to go digging through settings folders and set up a css file with some rules. There's also a built-in header on the sidebar than can be hidden by similar means. Hopefully they'll also let us hide that header (it lets you switch to other sidebar views like Bookmarks and History that I don't want to use in the sidebar) so I can avoid the css setup in the future. https://i.imgur.com/mMlrU1n.png https://i.imgur.com/mMlrU1n.png
- neuland 9y ago
  Definitely reasonable. Just struck me as odd. Maybe there are some other extensions that they have in mind, too. If someone was looking back at this post, they'd be missing part of the story.
- labster 9y ago
  > Or maybe a Grid Style Tabs, or who knows what. Gangnam Style Tabs. I'd install it. But yeah, no need to make an extension seem "official" to Firefox by mentioning it by name. Unless it's Pocket, obviously.
gogoengie 9y ago
They are referring to hiding individual tabs, not hiding the horizontal tab bar. The legacy extension they are referring to is Tab Groups [0]. It allowed you to separate the tabs of a single session into groups. Selecting the active group would hide the other tabs. [0] https://addons.mozilla.org/en-US/firefox/addon/tab-groups-panorama/ https://addons.mozilla.org/en-US/firefox/addon/tab-groups-pa...
- neuland 9y ago
  Oh! Ok. I've actually used this extension a bunch, but it was several years ago. Wasn't it part of Firefox at one point? Or, am I misremembering.
  - maccam94 9y ago
    Yes: https://support.mozilla.org/en-US/kb/tab-groups-removal https://support.mozilla.org/en-US/kb/tab-groups-removal
- xg15 9y ago
  Still, it seems that the current API couldn't really support that use-case if tabs with active audio or video can't be hidden. At least there will be some random tabs hanging around that don't belong to your group.
  - nicklaf 9y ago
    I don't know if this is the case, but the API ought to also let you kill any active video or audio streams playing in a tab. Then you'd be able to go ahead with hiding them. If this is not possible or planned, it feels kind of broken in my view.
    - xg15 9y ago
      Looks like it's only for recording streams, not playing them. I misunderstood that. Apologies.
  - 9y ago
deleted 9y ago
[deleted]
kej 9y ago
>one of the gripes of the new WebExtensions version is that it still shows the normal horizontal tabs. In case anyone is in this position, it's relatively easy to hide them with a userChrome.css file: https://superuser.com/a/1261661 https://superuser.com/a/1261661 It would be nice if the extension or an easy to find setting could do it, though.
scoates 9y ago
FWIW, I have this in my userChrome.css to fix that horizontal tabs annoyance: `#TabsToolbar{ visibility: collapse !important;}`. Not ideal, but a workaround I can forget about most of the time.

wlesieutre 9y ago

Seems reasonable to not mention a specific one by name so as not to play favorites going forward if someone else wants to make a competitor. Or maybe a Grid Style Tabs, or who knows what. I imagine it's the same tone they use for discussion of adblocker related features, "we need this for content blocking addons" rather than "we need this to support uBlock Origin." Hiding the top tabs can be done in current versions but you have to go digging through settings folders and set up a css file with some rules. There's also a built-in header on the sidebar than can be hidden by similar means. Hopefully they'll also let us hide that header (it lets you switch to other sidebar views like Bookmarks and History that I don't want to use in the sidebar) so I can avoid the css setup in the future. https://i.imgur.com/mMlrU1n.png https://i.imgur.com/mMlrU1n.png

neuland 9y ago
Definitely reasonable. Just struck me as odd. Maybe there are some other extensions that they have in mind, too. If someone was looking back at this post, they'd be missing part of the story.
labster 9y ago
> Or maybe a Grid Style Tabs, or who knows what. Gangnam Style Tabs. I'd install it. But yeah, no need to make an extension seem "official" to Firefox by mentioning it by name. Unless it's Pocket, obviously.

gogoengie 9y ago

They are referring to hiding individual tabs, not hiding the horizontal tab bar. The legacy extension they are referring to is Tab Groups [0]. It allowed you to separate the tabs of a single session into groups. Selecting the active group would hide the other tabs. [0] https://addons.mozilla.org/en-US/firefox/addon/tab-groups-panorama/ https://addons.mozilla.org/en-US/firefox/addon/tab-groups-pa...

neuland 9y ago
Oh! Ok. I've actually used this extension a bunch, but it was several years ago. Wasn't it part of Firefox at one point? Or, am I misremembering.
- maccam94 9y ago
  Yes: https://support.mozilla.org/en-US/kb/tab-groups-removal https://support.mozilla.org/en-US/kb/tab-groups-removal
xg15 9y ago
Still, it seems that the current API couldn't really support that use-case if tabs with active audio or video can't be hidden. At least there will be some random tabs hanging around that don't belong to your group.
- nicklaf 9y ago
  I don't know if this is the case, but the API ought to also let you kill any active video or audio streams playing in a tab. Then you'd be able to go ahead with hiding them. If this is not possible or planned, it feels kind of broken in my view.
  - xg15 9y ago
    Looks like it's only for recording streams, not playing them. I misunderstood that. Apologies.
- 9y ago

deleted 9y ago

[deleted]

kej 9y ago

>one of the gripes of the new WebExtensions version is that it still shows the normal horizontal tabs. In case anyone is in this position, it's relatively easy to hide them with a userChrome.css file: https://superuser.com/a/1261661 https://superuser.com/a/1261661 It would be nice if the extension or an easy to find setting could do it, though.

scoates 9y ago

FWIW, I have this in my userChrome.css to fix that horizontal tabs annoyance: `#TabsToolbar{ visibility: collapse !important;}`. Not ideal, but a workaround I can forget about most of the time.