Good that this is solved. Can you give information which extension this was and what the version of gnome is you're running.
I would like to look into that because the solution is apparently not straightforward. Mario Am 28.07.2017 10:31 nachm. schrieb "J (Jean-Claude Gervais)" < progma...@gmail.com>: > > > Hi, > > > > does the folder of the extension inside ~/.local/share/gnome- > > shell/extensions still exist? > > > > Can you try disabling *all* extensions with the toggle on the top > > right in gnome-tweak-tool and see if that fixes it? > > Disabling all extensions with the gnome-tweak-tool did not fix the > problem. Rather, it left the top-bars active but with less items on > them. > > However, deleting the newly-added folders in ~/.local/share/gnome- > shell/extensions (and logging out and then logging in) DID fix the > problem! > > Thank you very much, Jan Niklas Hasse! > > J > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
