On 11/1/18 1:55 PM, Kevin Fenzi wrote:
Its possible you were using the alternative tab extension, but it
turns
out you don't need it anymore:
https://blogs.gnome.org/fmuellner/2018/10/11/the-future-of-alternatetab-a...
That's nice to know. Unfortunately, the single workspace switching is
still only accessible using dconf (or an extension).