this extension does what should be default, or at least an option

You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

  Ubuntu 18.04 Workspaces only change on primary monitor

To manage notifications about this bug go to:

desktop-bugs mailing list

Reply via email to