Re: multiple top bars

[Mario Wenzel <maweki gmail com>]

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)" <progman3k 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