You probably have to install package with name:
gnome-tweak-tool
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
