Added the ability to ignore workspaces by number or regex

2024-09-25 00:49:08 -07:00
parent d60d3db401
commit c01ddce201
6 changed files with 87 additions and 68 deletions
--- a/widget/settings/pages/config/bar/index.ts
+++ b/widget/settings/pages/config/bar/index.ts
@@ -297,6 +297,11 @@ export const BarSettings = (): Scrollable<Gtk.Widget, Gtk.Widget> => {
                    title: 'Scrolling Speed',
                    type: 'number',
                }),
+                Option({
+                    opt: options.bar.workspaces.ignored,
+                    title: 'Ignored Workspaces',
+                    type: 'object',
+                }),

                /*
                 ******************************