2 * r + 2 * t 02b80265d3 bar: workspaces active indicator tweak ... Decrease size by 2 (px?) with 1 margin to make it seem the same size as occupied		2025-04-29 16:06:19 +10:00
..
bar	bar: workspaces active indicator tweak	2025-04-29 16:06:19 +10:00