You probably have to install package with name: gnome-tweak-tool
Volker Wysk <p...@volker-wysk.de> 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 <p...@volker-wysk.de> 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@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-list >
_______________________________________________ gnome-list mailing list gnome-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-list
