Does the problem still happen if you disable the user-theme extension? You can disable it in the 'Extensions' app (gnome-shell-extension-prefs).
Does the problem still happen if you disable the user-theme extension? You can disable it in the 'Extensions' app (gnome- shell-extension -prefs) .