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@lists.XCF.Berkeley.EDU
https://lists.XCF.Berkeley.EDU/mailman/listinfo/gimp-developer

Reply via email to