Looking at and following the Desktop User Guide
<https://people.gnome.org/~bmsmith/user-guide.pdf>, 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.
On 4/4/21 6:44 AM, Carl-Valentin Schmitt wrote:
I think Ken means the package
gnome-tweak-tool
You need to install this package
before you can adjust Gnome.
Greetz. Val.
ken <m...@newcultures.com <mailto:m...@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 <mailto:gnome-list@gnome.org>
https://mail.gnome.org/mailman/listinfo/gnome-list
<https://mail.gnome.org/mailman/listinfo/gnome-list>
_______________________________________________
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list
