Add an optional separator between window groups from separate workspaces.

Submitted by gwe..@..ed.com

Assigned to Nick Schermer

Link to original bug (#10424)

Description

Under 'Filtering', I have the option 'Show windows from all workspaces or viewports' enabled. I'd like have some visual representation that shows where the next workspace begins. A 'separator' would be ideal, but an alternative would be acceptable ('handle', 'dots', what ever else).

An alternative solution would be to have a filter for 'Workspace X'. Personally, I have four workspaces, so, to duplicate my desired enhancement, I would have four instances of 'Window Buttons' and I would add separators where I see fit.

Building off the latter example, another interesting possibility would be to filter 'Present Workspace''Hidden Workspaces'.

Version: Unspecified