<pre class="message">> 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?<br><br></pre><div class="yj6qo ajU"><div id=":bm" class="ajR" tabindex="0"><img class="ajT" src="images/cleardot.gif">"ls ~/.local/share/gnome-shell/extensions/" gives me nothing<br>
"gsettings get org.gnome.shell enabled-extensions" gives me:<br>['<a href="mailto:apps-menu@gnome-shell-extensions.gnome.org">apps-menu@gnome-shell-extensions.gnome.org</a>', '<a href="mailto:places-menu@gnome-shell-extensions.gnome.org">places-menu@gnome-shell-extensions.gnome.org</a>', '<a href="mailto:user-theme@gnome-shell-extensions.gnome.org">user-theme@gnome-shell-extensions.gnome.org</a>']<br>
<br>Oh... the problem isn't reproducible with a fresh user account.<br></div></div>