Amanda (author of gnome-shell extension Extension List): I have a small patch to your extension that you might want to use.
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
