Norman, Christoph, thank you very much!
_______________________________________________ gnome-shell-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-shell-list
- how to change the top bar style Donato Marrazzo
- Re: how to change the top bar style Norman L Smith
- Re: how to change the top bar style Donato Marrazzo
- Re: how to change the top bar style Christoph Schulz
