Public bug reported: 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: - /js/ui/main.js - /debian/ubuntu-session-mods/ubuntu.json Yaru-theme gnome-shell gresource should use this PR if patched: - https://github.com/ubuntu/yaru/pull/2945 ** Affects: gnome-shell (Ubuntu) Importance: Undecided Status: New ** Tags: impish -- 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/1943857 Title: use downstream pop!_os patch for global theme switching To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1943857/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
