On Thu, Sep 18, 2008 at 2:26 PM, David Gowers wrote: > The appropriate solution to this may be to package a simple alternate > theme which makes the offending fonts larger, and install this theme > if the language might require it (eg Japanese, Chinese, Korean) 2008-09-18 Sven Neumann * app/widgets/gimpdock.c: made the font scale factor for the docks configurable in gtkrc. * themes/Default/gtkrc * themes/Small/gtkrc: for documentation purposes, added the default value for GimpDock::font-scale here. Changed all style property names to use the canonical names. :-) Alexandre _______________________________________________ Gimp-developer mailing list Gimp-developer@xxxxxxxxxxxxxxxxxxxxxx https://lists.XCF.Berkeley.EDU/mailman/listinfo/gimp-developer