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
