Ubuntu
gnome-shell package

  1. Bug #1885610
  2. Comment #3

Comment 3 for bug 1885610

Revision history for this message
Relly Valentine (rellyvalentine) wrote :

Yes this problem still occurs after disabling the user-theme extension