Re: how/where to find Gnome Preferences Tool?

[Carl-Valentin Schmitt <cv schmitt gmail com>]

I was wrong, sorry.

ken via gnome-list <gnome-list gnome org> schrieb am Di., 6. Apr. 2021, 02:06:

Thanks very much, Tom.  That's a lot of themes to choose from! I'm
concerned though most with functionality.  Specifically, I'm after (1)
scroll buttons on the windows and, (2) I'd like to have much more of a
color difference of the window having the focus from the other windows. 
I've opened a separate thread about scroll buttons (if that email is
allowed to come through onto this list).

On 4/5/21 3:37 PM, Listings - www.majors-welt.net wrote:
> Hi there,
>
> i can recommend themes from
> https://github.com/vinceliuice?tab=repositories.
>
> You find these and other GTK 3/4 themes as well as Gnome-Shell themes
> here: https://www.gnome-look.org/browse/cat/135/order/latest/
>
> br,
> tom
>
> Am 05.04.21 um 19:53 schrieb Tony Houghton:
>> You can still change themes in Tweaks, in the Appearance section.
>> I've never seen a theme that looks nicer than Adwaita though.
>>
>> On Mon, 5 Apr 2021 at 17:23, Carl-Valentin Schmitt via gnome-list
>> <gnome-list gnome org <mailto:gnome-list gnome org>> wrote:
>>
>>     Hello Ken,
>>
>>     "changing themes" was a feature in earlier versions of Gnome.
>>
>>     I think in newer versions actually - "changing themes" has been
>>     left away.
>>
>>     Gnome is not like KDE.
>>     ;)
>>
>>     Greetz. Val.
>>
>>     ken via gnome-list <gnome-list gnome org
>>     <mailto:gnome-list gnome org>> schrieb am Mo., 5. Apr. 2021, 17:52:
>>
>>         Carl,
>>
>>         Using preferences (Settings is what I think we're talking
>>         about) and gnome-tweaks is not at all difficult-- well,
>>         finding what needs to be changed is the most difficult, and
>>         knowing the correct terminology to run a search.  But I've
>>         used both of those apps to make a lot of changes already.
>>
>>         What's much more difficult is making changes in gnome (or are
>>         they in Wayland?) which are no longer configurable using
>>         Settings or gnome tweaks... or perhaps not configurable at all
>>         in gnome.
>>
>>         On 4/4/21 3:19 PM, Carl-Valentin Schmitt via gnome-list wrote:
>>>         Hello Ken,
>>>
>>>         for how to use preferences in Gnome or how to use
>>>         gnome-tweaks, you could explore forums
>>>         like
>>>         ubuntu.com <http://ubuntu.com> or askubuntu.com
>>>         <http://askubuntu.com>
>>>
>>>         There are minimum differences, when you use Gnome in
>>>         different distros.
>>>
>>>         This way gnome-tweaks works.
>>>         You only need to know the version
>>>         for searching in forums.
>>>
>>>
>>>
>>>         rpr // via gnome-list <gnome-list gnome org
>>>         <mailto:gnome-list gnome org>> schrieb am So., 4. Apr. 2021,
>>>         20:15:
>>>
>>>             Ken, that Desktop User Guide is very old (see the last
>>>             modified times
>>>             of files in https://people.gnome.org/~bmsmith/
>>>             <https://people.gnome.org/~bmsmith/>) and it does not refer
>>>             to GNOME 3 desktop environment used in Fedora 33.
>>>
>>>             -- rpr.
>>>
>>>             On Sun, 4 Apr 2021 at 18:23, ken <mait newcultures com
>>>             <mailto:mait newcultures com>> wrote:
>>>             >
>>>             > 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.
>>>             >
>>>             >
>>>             > 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 <mait newcultures com
>>>             <mailto: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 <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 <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 <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 <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 <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 <mailto:gnome-list gnome org>
>>     https://mail.gnome.org/mailman/listinfo/gnome-list
>>     <https://mail.gnome.org/mailman/listinfo/gnome-list>
>>
>>
>>
>> -- TH
>>
>>
>> _______________________________________________
>> 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
_______________________________________________
gnome-list mailing list
gnome-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-list