quickshell: drop bar dividers, space groups instead
This commit is contained in:
parent
7bfd1e25c3
commit
df2fe84c5d
1 changed files with 4 additions and 10 deletions
|
|
@ -775,18 +775,12 @@ in
|
||||||
font.pixelSize: 16
|
font.pixelSize: 16
|
||||||
}
|
}
|
||||||
|
|
||||||
// ── BarSep: hairline between widget groups in the bar column.
|
// ── BarSep: extra whitespace between widget groups. Groups are
|
||||||
// Wrapped in a plain Item because a Column refuses to position
|
// separated by air, not by lines — a drawn rule read as clutter
|
||||||
// children that set their own horizontalCenter anchor.
|
// in a 46px column.
|
||||||
component BarSep: Item {
|
component BarSep: Item {
|
||||||
width: Theme.barWidth
|
width: Theme.barWidth
|
||||||
height: 1
|
height: 12
|
||||||
Rectangle {
|
|
||||||
anchors.centerIn: parent
|
|
||||||
width: 16
|
|
||||||
height: 1
|
|
||||||
color: Theme.base02
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// ── GlanceStat: a bar-column stat — clock-sized value over a
|
// ── GlanceStat: a bar-column stat — clock-sized value over a
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue