feat(appearance): add interface density settings

This commit is contained in:
Vukašin Vojinović 2024-09-23 22:07:49 +02:00 • committed by GitHub
parent cd42cc907b
commit 9269f9a82b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 129 additions and 6 deletions

View file

@ -169,7 +169,11 @@ style = Style
.slightly-round = Slightly round
.square = Square
# interface density left out for now
interface-density = Interface Density
.comfortable = Comfortable
.compact = Compact
.spacious = Spacious
window-management-appearance = Window Management
.active-hint = Active window hint size
.gaps = Gaps around tiled windows