On Sat, Oct 26, 2002 at 11:37:20AM -0400, Peter O'Shea wrote: > How do I change the font sizes for widgets in gtk-1.2 apps? I'm > perfectly willing to hand-edit config files, but I can't seem to find > the right one. I'm wondering if gtk-1.2 is defaulting to compiled-in > font sizes.
I've always done it by editing the theme itself. Not sure what the "right" way is. Look at ~/.gtkrc. If you don't have that, look at /etc/gtkrc, or /etc/gtk/gtkrc. There should be font settings somewhere. grep through these for 'font' and 'text'. $ grep font ~/.gtkrc font="-b&h-lucidux mono-medium-r-normal-*-14-*-*-*-m-*-iso8859-1" font="-adobe-times-medium-r-normal-*-14-*-*-*-p-*-iso8859-1" font="-urw-times-medium-r-normal-*-14-*-*-*-p-*-iso8859-1" font="-urw-helvetica-medium-r-normal-*-13-*-*-*-p-*-iso8859-1" font="-urw-helvetica-medium-r-normal-*-15-*-*-*-p-*-iso8859-1" font="-urw-helvetica-medium-r-normal-*-12-*-*-*-p-*-iso8859-1" You can always add lines to themes, in case they don't explictly set something you want to set. -- Hal Burgiss -- redhat-list mailing list unsubscribe mailto:redhat-list-request@;redhat.com?subject=unsubscribe https://listman.redhat.com/mailman/listinfo/redhat-list
