** Changed in: gnome-shell (Ubuntu)
Status: Fix Committed => Fix Released
--
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 Released
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 : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
