Added a setting to define the global color for borders. (#461)

This commit is contained in:
Jas Singh
2024-11-08 18:44:13 -08:00
committed by GitHub
parent 3cc3fa5d42
commit bc96dff485
56 changed files with 446 additions and 397 deletions

View File

@@ -168,6 +168,7 @@ const options = mkOptions(OPTIONS, {
style: opt<BarButtonStyles>('default'),
enableBorders: opt(false),
borderSize: opt('0.1em'),
borderColor: opt(colors.lavender),
monochrome: opt(false),
spacing: opt('0.25em'),
padding_x: opt('0.7rem'),