After installation you press keys Alt-F2 Then type : gnome-tweak-tool
There you are and you can set up your own Desktop. (I refer here to Ubuntu). Carl-Valentin Schmitt <cv.schm...@gmail.com> schrieb am Di., 21. Apr. 2020, 17:03: > 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
