The description of the change and why it's needed is not really clear there, you are going to need to provide more details if you want to see the changes considered, also please use a merge request as pointed out by Daniel
-- 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: Triaged 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
