▲ 148 ▼ Irony of Brave Browser (lemmygrad.ml) submitted 3 years ago by Fissionami@lemmygrad.ml to c/technology@lemmy.ml 54 comments fedilink hide all child comments
[–] dejf@kbin.social 1 point 3 years ago (1 child) I know it's most likely not relevant with you anymore, since you're using Pulse, but have you tried any of the vertical/tree tab extensions? permalink fedilink source parent hideshow 2 child comments replies: [–] Flaky@iusearchlinux.fyi 1 point 3 years ago* (last edited 3 years ago) I used Tree Style Tab but I didn't like having to change the userChrome.css to make it streamlined (i.e. hiding the tab bar), while Pulse does it natively and really well. I do have an extension for tab groups that imitates Vivaldi's tab workspaces though, not sure if those will conflict. (If you're curious, it's called Simple Tab Groups.) Edit: There's also the issue of Mozilla calling the editable userChrome.css a legacy feature, which kinda worries me about its possible removal. Pulse having vertical tabs as a native feature skips that. permalink fedilink source parent
[–] Flaky@iusearchlinux.fyi 1 point 3 years ago* (last edited 3 years ago) I used Tree Style Tab but I didn't like having to change the userChrome.css to make it streamlined (i.e. hiding the tab bar), while Pulse does it natively and really well. I do have an extension for tab groups that imitates Vivaldi's tab workspaces though, not sure if those will conflict. (If you're curious, it's called Simple Tab Groups.) Edit: There's also the issue of Mozilla calling the editable userChrome.css a legacy feature, which kinda worries me about its possible removal. Pulse having vertical tabs as a native feature skips that. permalink fedilink source parent
