Am Dienstag, den 21.04.2020, 17:03 +0200 schrieb Carl-Valentin Schmitt: > You probably have to install package with name: > gnome-tweak-tool I know the gnome tweak tool, but there isn't anything about sessions in there. My version is 3.28.1. Regards, Volker > Volker Wysk <post@xxxxxxxxxxxxxx> schrieb am Di., 21. Apr. 2020, > 16:47: > > 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 _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list
