zim-wiki team mailing list archive

[Dotan Cohen <dotancohen@xxxxxxxxx>]

On Mon, May 30, 2011 at 19:40, Jaap Karssenberg
<jaap.karssenberg@xxxxxxxxx> wrote:
> Check the gtk API documentation (http://www.pygtk.org/docs/pygtk/), for each
> widget there are "style properties" which can be set from the gtkrc. Some
> global settings are documented here:
> http://www.pygtk.org/docs/pygtk/class-gtkrcstyle.html .
>
> I'm not a theme writer and not sure if anybody here is; for detailed
> questions on customizing look of widgets I would look for a forum dedicated
> to that topic.
>

Thanks. If I turn up anything I'll post it here for the sake of the
fine archives.

-- 
Dotan Cohen

http://gibberish.co.il
http://what-is-what.com