• dejf@kbin.social
    link
    fedilink
    arrow-up
    0
    ·
    1 year ago

    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?

    • Flaky@iusearchlinux.fyi
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      1 year 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.