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.


Gimp-developer mailing list

Reply via email to