I'm looking for a GNOME Shell extension that will make it so that there are different applications showing up in the Dash depending on which workspace I'm on. Essentially, I want favorites segmented by workspace.
- Workspace 1 Dash (Personal): Thunderbird, Firefox, accounting app
- Workspace 2 Dash (Work): Gmail, Slack, Citrix
There is a "Workspace Isolated Dash" extension, which gets part way there by only showing favorites + applications with open windows on that workspace in Dash. But this doesn't segment favorites by workspace.
Any extensions that could do this? Or other ways to customize the GNOME Shell in this way?