Month: May 2022

We are now living in the Jammy Ubuntu 22.04 world. The horizontal workspaces don’t work for me, and for now I am getting by with this plugin: Until I can get the vertical workspace switcher working again. Possibly this plugin, which is not currently supporting Gnome 42: I don’t dislike the horizontal workspace switching, and…