Apparently this is correct. Shell theming is not enabled by default.
To enable it, do:
1. sudo apt install gnome-shell-extensions
2. Gnome Tweaks > Extensions > User themes = ON
3. Gnome Tweaks > Appearance > Shell = whatever
** Changed in: gnome-shell (Ubuntu)
Importance: Medium => Low
** Changed in: gnome-shell (Ubuntu)
Status: Confirmed => Triaged
--
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/1717456
Title:
Panel and panel menus don't respond to theme changes
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1717456/+subscriptions
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
