Am 13.05.2013 21:55, schrieb Giovanni Campagna:
maybe conflicts with other
extensions claiming "gnome-shell-extensions" gettext domain)
thanks for that hint, indeed it is!
after many supends and resumes I found out:
https://extensions.gnome.org/extension/355/status-area-horizontal-spacing/
causes this. i have left a bug report there.
Really file a bug for Gnome-Shell anyway?
regards
Bazon
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
