Re: how/where to find Gnome Preferences Tool?

ken via gnome-list <[email protected]> Mon, 5 Apr 2021 11:52:52 -0400
Newsgroups gmane.comp.gnome.general
Message-ID <[email protected]>
This is a multi-part message in MIME format.
--===============3976335774404488973==
Content-Type: multipart/alternative;
 boundary="------------9B03611C0313F5F7ECC3EE94"
Content-Language: en-US

This is a multi-part message in MIME format.
--------------9B03611C0313F5F7ECC3EE94
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit

On 4/4/21 7:24 PM, Adam Tauno Williams wrote:
> On Sun, 2021-04-04 at 12:23 -0400, ken wrote:
>>
>> 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.
>>
> Themes are a developer, not a user topic.
>
> Maybe start @
> https://github.com/surajmandalcell/Gtk-Theming-Guide/blob/master/creating_gtk_themes.md#:~:text=To%20create%20a%20GTK3%20theme%2C%20developers%20can%20start,then%20the%20developer%20can%20start%20editing%20the%20files 
> <https://github.com/surajmandalcell/Gtk-Theming-Guide/blob/master/creating_gtk_themes.md#:~:text=To%20create%20a%20GTK3%20theme%2C%20developers%20can%20start,then%20the%20developer%20can%20start%20editing%20the%20files>.
>
Thanks for that link.  It's exactly what I'd want were I to get into gtk 
development.  Unfortunately, I can't do all that right now.  I've done a 
bit of development in the past, but at the moment I have many other 
things I need to do first.  Maybe later. First I need to set up this new 
system so I can use it. So for the time being, I'm just looking to make 
some quick configuration changes... those which are still possible.



--------------9B03611C0313F5F7ECC3EE94
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 8bit

<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-cite-prefix">On 4/4/21 7:24 PM, Adam Tauno Williams
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:[email protected]">
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      <div>On Sun, 2021-04-04 at 12:23 -0400, ken wrote:</div>
      <blockquote type="cite" style="margin:0 0 0 .8ex; border-left:2px
        #729fcf solid;padding-left:1ex">
        <p>Looking at and following the <a moz-do-not-send="true"
            href="https://people.gnome.org/~bmsmith/user-guide.pdf">Desktop
            User Guide</a>, 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.</p>
      </blockquote>
      <div>Themes are a developer, not a user topic.</div>
      <div><br>
      </div>
      <div>Maybe start @ </div>
      <div><a
href="https://github.com/surajmandalcell/Gtk-Theming-Guide/blob/master/creating_gtk_themes.md#:~:text=To%20create%20a%20GTK3%20theme%2C%20developers%20can%20start,then%20the%20developer%20can%20start%20editing%20the%20files"
          moz-do-not-send="true">https://github.com/surajmandalcell/Gtk-Theming-Guide/blob/master/creating_gtk_themes.md#:~:text=To%20create%20a%20GTK3%20theme%2C%20developers%20can%20start,then%20the%20developer%20can%20start%20editing%20the%20files</a>.</div>
      <div><br>
      </div>
    </blockquote>
    <p>Thanks for that link.  It's exactly what I'd want were I to get
      into gtk development.  Unfortunately, I can't do all that right
      now.  I've done a bit of development in the past, but at the
      moment I have many other things I need to do first.  Maybe later.
      First I need to set up this new system so I can use it. So for the
      time being, I'm just looking to make some quick configuration
      changes... those which are still possible.</p>
    <p><br>
    </p>
  </body>
</html>

--------------9B03611C0313F5F7ECC3EE94--

--===============3976335774404488973==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gnome-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-list

--===============3976335774404488973==--