Update the ignored workspaces rule to a regex instead of array.

This commit is contained in:
Jas Singh
2024-09-25 01:05:47 -07:00
parent 91bd49e1a8
commit 69c468296b
4 changed files with 11 additions and 27 deletions

View File

@@ -300,10 +300,8 @@ 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',
subtitle: 'A regex that defines workspaces to ignore',
type: 'string',
}),
/*