On Mon, May 29, 2023 at 07:10:53AM -0000, Daniel van Vugt wrote: > Usually:
> apt install gnome-shell-extension-prefs > to install the GUI (see also bug 2015049). The CLI equivalent should be: > gnome-extensions list --enabled $ gnome-extensions list --enabled d...@rastersoft.com ubuntu-appindicat...@ubuntu.com ubuntu-d...@ubuntu.com $ Doesn't seem to have any mention of Icons NG -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer https://www.debian.org/ slanga...@ubuntu.com vor...@debian.org -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/2021366 Title: strange window focus across multiple workspaces To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2021366/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
