From 91bd49e1a8cebb7c27eebe9407921ce84a155674 Mon Sep 17 00:00:00 2001
From: Jas Singh <jaskiratpal.singh@outlook.com>
Date: Wed, 25 Sep 2024 00:51:11 -0700
Subject: [PATCH] Update description of option to ignore workspaces.

---
 widget/settings/pages/config/bar/index.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/widget/settings/pages/config/bar/index.ts b/widget/settings/pages/config/bar/index.ts
index b8f5b81..e5eb5dc 100644
--- a/widget/settings/pages/config/bar/index.ts
+++ b/widget/settings/pages/config/bar/index.ts
@@ -300,6 +300,9 @@ export const BarSettings = (): Scrollable<Gtk.Widget, Gtk.Widget> => {
                 Option({
                     opt: options.bar.workspaces.ignored,
                     title: 'Ignored Workspaces',
+                    subtitle:
+                        'An array of workspace numbers to ignore.\n' +
+                        'A regular expression can be passed in the array to ignore workspaces that match the regex.',
                     type: 'object',
                 }),