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
Also, my original bug description is invalid. It describes only changing
the Applications theme and not changing the Shell theme.
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Opinion
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is
** Tags added: bionic cosmic
--
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
** Summary changed:
- Panel menus don't respond to theme changes
+ Panel and panel menus don't respond to theme changes
--
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
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
