Closed p91paul closed 3 years ago
The extension doesn't work on 3.38, apparently due to a gnome bug. I reported it upstream: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3264
The extension doesn't work on 3.38, apparently due to a gnome bug. I reported it upstream: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3264