> Do you have any custom extensions installed? > Could you attach the output of > ls ~/.local/share/gnome-shell/extensions/ > and > gsettings get org.gnome.shell enabled-extensions
> Is the problem reproducible with a fresh user account? "ls ~/.local/share/gnome-shell/extensions/" gives me nothing "gsettings get org.gnome.shell enabled-extensions" gives me: ['apps-m...@gnome-shell-extensions.gnome.org', ' places-m...@gnome-shell-extensions.gnome.org', ' user-th...@gnome-shell-extensions.gnome.org'] Oh... the problem isn't reproducible with a fresh user account.
