this post was submitted on 28 Oct 2023
43 points (95.7% liked)
Linux
48208 readers
1292 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
- Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
- No misinformation
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
You mention 'the settings'; though it's ambiguous whether you looked at the desktop's, wm's, or panel's settings -- the relevant settings are the panel plugins' own little settings widgets, which you can call from a right click menu on the panel plugins themselves.
It's a bit convoluted; though that's the so called 'trade-off' for Xfce's modularity.
Yea, sorry for being so vague, it's just the only way I know how to describe it. panel edit mode or whatever, because then each icon or tray all have their own settings. but anyway, every DE has their own different ways of editing panels and I honestly don't have much XFCE experience, so maybe that's why it's been more difficult for me to figure out.