Am Dienstag, den 21.04.2020, 16:27 +0200 schrieb Carl-Valentin Schmitt: > It is there in gnome-settings. What is this? I don't have this. It isn't a package or a program. apt- file doesn't find it too, and it isn't in the program list of the activity overview. The "Ubuntu-Software" program doesn't find it, too. I'm using Ubuntu 18.04. Bye, Volker > Volker Wysk <post@xxxxxxxxxxxxxx> schrieb am Di., 21. Apr. 2020, > 15:58: > > Hi! > > > > Is it true that Gnome 3 doesn't have any session management? Might > > it > > be able to add session management with a gnome extension? _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list