this post was submitted on 02 Apr 2024
369 points (98.9% liked)

Linux

50208 readers
1017 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
(page 2) 41 comments
sorted by: hot top controversial new old
[–] [email protected] 2 points 10 months ago

And to round out this story, here’s a photo that we think evokes the concept of “vertical”.

[–] [email protected] 2 points 10 months ago (1 children)

I'm using vertical tabs since 4 years ago and to do so installed Tree Style Tab (https://tinyurl.com/y5gr4dyn)

Also has to disable horizontal tabs create or update the file chrome/userChrome.css located at your profile with

#TabsToolbar {
  visibility: collapse;
}

and add the setting toolkit.legacyUserProfileCustomizations.stylesheets with value true (use about:config)

[–] [email protected] 1 points 10 months ago (4 children)

This feels like something that should be a extension

load more comments (4 replies)
[–] [email protected] 1 points 10 months ago (3 children)

Wake me up when we have Chrome-style tab groups in FF.

[–] [email protected] 2 points 10 months ago

I'm not sure if it's the same, but floorp has Workspaces which I find very useful

[–] Telodzrum 2 points 10 months ago* (last edited 10 months ago) (1 children)

You mean this or this? It's been around for a couple years and has more functionality than Chrome's.

[–] [email protected] 2 points 10 months ago* (last edited 10 months ago)

No, I mean Chrome-style tab groups. Existing FF add-ons are okay, but nowhere near as nice as in Chrome.

load more comments (1 replies)
[–] [email protected] 0 points 10 months ago (1 children)

I just spent 3 days learning a basic level of css and messing around in my userchrome and NOW they decide to add it...

[–] [email protected] 0 points 10 months ago (1 children)

Your CSS knowledge is still useful to customise other areas of Firefox UI.

[–] [email protected] 1 points 10 months ago

Useful ... and mandatory!

[–] [email protected] -1 points 10 months ago
[–] [email protected] -2 points 10 months ago

It's better to integrate Tree Style Tab addon instead. It's not a good idea to re-implement a function which already has a great implementation...

load more comments
view more: ‹ prev next ›