On Mon, May 30, 2011 at 19:40, Jaap Karssenberg
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-gtkrcstyl
On Mon, May 30, 2011 at 4:58 PM, Dotan Cohen wrote:
> On Mon, May 30, 2011 at 17:51, Jaap Karssenberg
> wrote:
> > This is exactly what the gtkrc is for, doesn't make sense to keep
> different
> > rc files for different programs.
> >
> > To make a change for zim specific you can use the widget n
Additionally, is there any way to remove the 10px margin on the sides
of the TextView area?
--
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
Uns
On Mon, May 30, 2011 at 17:51, Jaap Karssenberg
wrote:
> This is exactly what the gtkrc is for, doesn't make sense to keep different
> rc files for different programs.
>
> To make a change for zim specific you can use the widget name of the zim
> textview, see http://www.zim-wiki.org/manual/Help/C
On Mon, May 30, 2011 at 4:29 PM, Dotan Cohen wrote:
> Is there any way to override the gtkrc file that Zim uses? I would
> really like to change the TextView style, but making the change in
> gtkrc doesn't make sense as the change is only appropriate for Zim.
>
This is exactly what the gtkrc is
Is there any way to override the gtkrc file that Zim uses? I would
really like to change the TextView style, but making the change in
gtkrc doesn't make sense as the change is only appropriate for Zim.
Thanks.
--
Dotan Cohen
http://gibberish.co.il
http://what-is-what.com
___
6 matches
Mail list logo