From 88609f7e4c244326face34cb992a79053f2c7810 Mon Sep 17 00:00:00 2001 From: Keon Lee <70371393+keonly@users.noreply.github.com> Date: Thu, 16 Jan 2025 07:12:21 +0000 Subject: [PATCH] feat: add padding option for inactive workspace numbers (#702) * feat: add padding option for inactive workspace number * chore: reorder options to gather padding related options --------- Co-authored-by: Jas Singh --- nix/module.nix | 1 + src/components/settings/pages/config/bar/index.tsx | 6 ++++++ src/options.ts | 1 + src/scss/style/bar/workspace.scss | 2 +- 4 files changed, 9 insertions(+), 1 deletion(-) diff --git a/nix/module.nix b/nix/module.nix index efe0529..f0d6e16 100644 --- a/nix/module.nix +++ b/nix/module.nix @@ -500,6 +500,7 @@ in theme.bar.buttons.workspaces.fontSize = mkStrOption "1.2em"; theme.bar.buttons.workspaces.numbered_active_highlight_border = mkStrOption "0.2em"; theme.bar.buttons.workspaces.numbered_active_highlight_padding = mkStrOption "0.2em"; + theme.bar.buttons.workspaces.numbered_inactive_padding = mkStrOption "0.2em"; theme.bar.buttons.workspaces.pill.active_width = mkStrOption "12em"; theme.bar.buttons.workspaces.pill.height = mkStrOption "4em"; theme.bar.buttons.workspaces.pill.radius = mkStrOption "1.9rem * 0.6"; diff --git a/src/components/settings/pages/config/bar/index.tsx b/src/components/settings/pages/config/bar/index.tsx index e3c5c02..b9300ee 100644 --- a/src/components/settings/pages/config/bar/index.tsx +++ b/src/components/settings/pages/config/bar/index.tsx @@ -205,6 +205,12 @@ export const BarSettings = (): JSX.Element => { subtitle="Only applicable if Workspace Numbers are enabled" type="string" /> +