Looking at and following the Desktop User Guide, I was trying to create a new theme (and do a few other things explained there). I already have and have been using the tweak tool quite a bit, but what is explained in that userguide does not correspond at all to the what's in the tweak tool... iow, it doesn't seem to be the same app, the Preference Tool, mentioned in the userguide.
I think Ken means the package
gnome-tweak-tool
You need to install this packagebefore you can adjust Gnome.
Greetz. Val.
ken <mait newcultures com> schrieb am So., 4. Apr. 2021, 11:20:
Though I've seen the Preferences Tool mentioned in several gnome docs
(including the userguide.pdf), I haven't been able to find it on my
system (Fedora 33) or in the repos so I can download and install it.
Does it still exist...? or is it perhaps included in a package by some
other name?
tia.
_______________________________________________
gnome-list mailing list
gnome-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-list