Yes commit 3f3080056b2 is in version 42~beta-1ubuntu1 ** Changed in: gnome-shell (Ubuntu) Status: Triaged => Fix Committed
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1943857 Title: use downstream pop!_os patch for global theme switching Status in gnome-shell package in Ubuntu: Fix Committed Bug description: Pop!_OS manages to switch the Gnome-shell and GTK theme since 20.04 without the use of user-theme gnome-shell-extension by patching Gnome- shell. The following files should be patched: - https://git.launchpad.net/ubuntu/+source/gnome- shell/tree/js/ui/main.js?h=applied/ubuntu/impish - https://git.launchpad.net/ubuntu/+source/gnome- shell/tree/debian/ubuntu-session- mods/ubuntu.json?h=applied/ubuntu/impish Yaru-theme gnome-shell gresource should use this PR if patched: - https://github.com/ubuntu/yaru/pull/2945 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1943857/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp