mirror of
https://github.com/JakeStanger/ironbar.git
synced 2026-07-11 11:15:20 +01:00
[GH-ISSUE #170] Help with styling .workspaces #5709
Labels
No labels
A:Build
A:CI
A:Client
A:Config
A:Core
A:Documentation
A:Documentation
A:IPC
A:Testing
A:UX/UI
blocked
BREAKING CHANGE
duplicate
good first issue
GTK4
help wanted
invalid
M:Battery
M:Battery
M:Bindmode
M:Bluetooth
M:Brightness
M:Cairo
M:Clipboard
M:Clock
M:Clock
M:Custom
M:Focused
M:Keyboard
M:Launcher
M:Menu
M:Music
M:Music
M:Music
M:Network Manager
M:Notifications
M:SysInfo
M:Tray
M:Volume
M:Workspaces
partially resolved
P:Critical
P:High
P:Low
P:Medium
pull-request
T:Bug
T:Bug
T:Core Enhancement
T:Module Enhancement
T:New Module
T:Question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
JakeStanger/ironbar#5709
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @dennkaii on GitHub (May 28, 2023).
Original GitHub issue: https://github.com/JakeStanger/ironbar/issues/170
border-raidus in .workspaces aint working
OS:

Screenshots

@JakeStanger commented on GitHub (May 28, 2023):
CSS is case-sensitive, so you need to use
.workspacesand not.Workspaces. Let me know if you still have any trouble.@dennkaii commented on GitHub (May 28, 2023):
still

@JakeStanger commented on GitHub (May 29, 2023):
So this looks to be a quirk in how GTK handles border-radius with buttons. It does apply to the container, but the child buttons aren't "cropped" to the container.
I think you can achieve what you want here with a bit of padding on the
.workspaces, so that you have some room on the edges to curve. Something like the below should work:@A-Cloud-Ninja commented on GitHub (May 29, 2023):
Alternatively, my solution to default GTK styling on most of the widgets is to use something like
I throw this at the top of my CSS and it removes quite a bit of the default button styling and such.
Edit: realizing this doesn't actually solve that issue. If you just want to clip off the first and last elements (as they'd be where the corners are) you can use :first-child and :last-child selectors.
@dennkaii commented on GitHub (May 29, 2023):
alr thanks both will try them
@dennkaii commented on GitHub (May 30, 2023):
ty both it worked!