Ubuntu
gnome-shell package

  1. Bug #1885610
  2. Comment #14

Comment 14 for bug 1885610

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

You may also need to re-enable the user theme extension in the Extensions app (gnome-shell-extension-prefs).