Closed twouters closed 1 year ago
An option to hide empty workspaces might remove some clutter when a fixed number of workspaces is activated instead of dynamic workspaces and show workspace index is enabled.
Thank you for your feedback. Adding this to TODO list.
Sorry for the delay, but finally this is ready.
Added in v7 (#25), already published on the GNOME extensions store.
An option to hide empty workspaces might remove some clutter when a fixed number of workspaces is activated instead of dynamic workspaces and show workspace index is enabled.