Re: Re: [dev] wmii and gtk fontsize

From: Thomas Gallen <kaori.hinata_AT_gmail.com>
Date: Thu, 4 Jun 2009 15:52:07 -0400

If you want a light, window manager independent, GTK app to change
GTK themes I believe gtk-chtheme will also do the trick.

Thomas

On Thu, Jun 04, 2009 at 07:48:47PM +0000, thayerw_AT_gmail.com wrote:
> On 2009-06-04 12:37pm, jean bonhomme <jeanbonh_AT_ymail.com> wrote:
>
>> What was involved in this problem?
>> It should be possible to solve it without desktop environnement
>> pieces, isn't it?
>
> You shouldn't need gnome-settings-daemon to get consistent font sizes.
> Paste the following into ~/.gtkrc-2.0 (then modify to your desired font
> settings):
>
> style "user-font" {
> font_name = "Arial 8"
> }
>
> widget_class "*" style "user-font"
>
> gtk-font-name="Arial 8"
>
> PS: Sorry Jean, for the off-list email...Gmail is being stubborn.
Received on Thu Jun 04 2009 - 19:52:07 UTC

This archive was generated by hypermail 2.2.0 : Thu Jun 04 2009 - 20:00:02 UTC