I had completely forgotten about this issue, happy Gnome-Shell user for a long time.
Anyone bothered by this: you can try Gnome-Shell + the Dash-To-Dock extension. Yes, it has workspace isolation.
I had completely forgotten about this issue, happy Gnome-Shell user for a long time.
Anyone bothered by this: you can try Gnome-Shell + the Dash-To-Dock extension. Yes, it has workspace isolation.