Le 23.03.2004 18:52, peter kupec a écrit :

Hi,

I use gimp2.0pre3 with debian/sid; the menu-font is too small but I cannot
find any knob to enlarge it.
Can I get any hint?
Thanks

Peter

Peter,

Maybe you have choosen the small theme in Preferences -> Interface ?

-- Regards
- Jean-Luc

On Tue, Mar 23, 2004 at 06:52:27PM +0100, peter kupec wrote:

Hi,

I use gimp2.0pre3 with debian/sid; the menu-font is too small but I cannot find any knob to enlarge it.
Can I get any hint?
Thanks

i am fairly certain that the gimp gets instructions from the window manager about which font to use in its widgets.

are you having these problems with other gtk2 apps?

carol

To affect fonts in all GTK2 apps, I have the following in my ~/ .gtkrc-2.0 file

style "user-font" {
font_name="century 12"
}
widget_class "*" style "user-font"

Of course, you can change the font to whatever you want.

Hi,

I use gimp2.0pre3 with debian/sid; the menu-font is too small but I cannot find any knob to enlarge it.
Can I get any hint?
Thanks

Peter

On Tue, Mar 23, 2004 at 06:41:23PM -0600, Eric Pierce wrote:

To affect fonts in all GTK2 apps, I have the following in my ~/ .gtkrc-2.0 file

style "user-font" {
font_name="century 12"
}
widget_class "*" style "user-font"

The preferred way to do this is simply: gtk-font-name = "century 12"
in ~/.gtkrc-2.0.
Note that this will be overridden by an XSettings manager, like gnome-session, so if you're running that you need to change it in the Gnome preferences.

Also, a lot of people have a misconfigured dpi setting for the X server, which you can override with the Xft.dpi XResource (or Gnome preferences, again).

-Yosh

Of course, you can change the font to whatever you want.

Hi,

I use gimp2.0pre3 with debian/sid; the menu-font is too small but I cannot find any knob to enlarge it.
Can I get any hint?
Thanks

Peter

On Wed, Mar 24, 2004 at 12:12:48PM +0100, peter kupec wrote:

Am Mittwoch, 24. M?rz 2004 01:41 schrieben Sie:

1.the proposal from Manish to write into ~/.gtkrc-2.0 gtk-font-name="century 12"
works only, if it is the only line in the file.

2.a change of the font_name in the /usr/share/gimp/1.3/themes/Default/gtkrc has no effect.

What distribution and window manager are you using?

carol

On Thu, Mar 25, 2004 at 02:15:59AM +0100, Jakub Steiner wrote:

On St, 2004-03-24 at 08:53 -0800, Carol Spears wrote:

What distribution and window manager are you using?

Hi Carol,
I am fairly certain this has nothing to do with the window manager.

the fact that i do not have a problem with the font makes me wonder where the trouble is.

how come i dont have a problem yet this person does?

carol

On St, 2004-03-24 at 08:53 -0800, Carol Spears wrote:

What distribution and window manager are you using?

Hi Carol,
I am fairly certain this has nothing to do with the window manager.

cheers

-- even a stopped clock gives a right time twice a day.