Hey Michael, You can try the "Desktop Switch Tool" from GNOME menu: "Preference -> More". Or you've tried already? Best regards.
Hey Michael, You can try the "Desktop Switch Tool" from GNOME menu: "Preference -> More". Or you've tried already? Best regards.