On Mon, May 30, 2011 at 19:40, Jaap Karssenberg
<jaap.karssenb...@gmail.com> 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

_______________________________________________
Mailing list: https://launchpad.net/~zim-wiki
Post to     : zim-wiki@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zim-wiki
More help   : https://help.launchpad.net/ListHelp

Reply via email to