From 7111830e3ca8bd63b82c7c2d79300c94e31b1171 Mon Sep 17 00:00:00 2001 From: Evan Fiddes Date: Sat, 21 Dec 2024 16:42:03 -0700 Subject: [PATCH] Adds options for bar workspace button shape (#582) * Add option for default workspace indicator radius Enabling this option allows for the changing of the workspaces indicator shape into a cornered rectangular/square shape. This radius value was previously hard-coded for a full round indicator shape. This change exposes an option in the `settings-dialog` under Configuration > Bar > Workspaces > Indicator Radius default value: `1.9rem * 0.6` { "theme.bar.buttons.workspaces.radius": "1.9rem * 0.6" } * Adds options for workspace indicator height, width, and active_width This adds some additional options to allow for further customization to the default workspace indicators. Nests the radius from my previous commit into an indicator scoped option: ```ts theme: { bar: { workspaces: { indicator: { radius: opt('1.9rem * 0.6'), height: opt('4em'), width: opt('4em'), active_width: opt('12em'), } } } } ``` * Apply suggestions from code review --------- Co-authored-by: Jas Singh --- .../settings/pages/config/bar/index.tsx | 24 +++++++++++++++++++ src/options.ts | 6 +++++ src/scss/style/bar/workspace.scss | 14 +++++------ 3 files changed, 37 insertions(+), 7 deletions(-) diff --git a/src/components/settings/pages/config/bar/index.tsx b/src/components/settings/pages/config/bar/index.tsx index f17882e..d46db9a 100644 --- a/src/components/settings/pages/config/bar/index.tsx +++ b/src/components/settings/pages/config/bar/index.tsx @@ -146,6 +146,30 @@ export const BarSettings = (): JSX.Element => { subtitle="Marks the currently active workspace on each monitor." type="boolean" /> +