https://extensions.gnome.org/extension/921/multi-monitors-add-on/ this extension does what should be default, or at least an option
https:/ /extensions. gnome.org/ extension/ 921/multi- monitors- add-on/
this extension does what should be default, or at least an option