zim-wiki team mailing list archive

[Jaap Karssenberg <jaap.karssenberg@xxxxxxxxx>]

Hi Marco,

Afraid I haven't done any work on this yet - last 3 months left me unable
to do much on zim at all due to other commitments :(  Sorry for that -
hoping to get back to actively develop zim by the end of August.

For a quick hack, you'll need to edit zim/gui/pageview.py - look for the
method "_insert_bullet_at_cursor" (line 1096 in zim 0.60) and then in that
function for the statement

    pixbuf = widget.render_icon(stock, gtk.ICON_SIZE_MENU)

(line 1128). You can change the size constant to any of:

    gtk.ICON_SIZE_SMALL_TOOLBAR

    gtk.ICON_SIZE_LARGE_TOOLBAR

    gtk.ICON_SIZE_BUTTON

    gtk.ICON_SIZE_DIALOG

And see which size suits you best.

Hope this helps,

Jaap



On Tue, Jul 9, 2013 at 11:28 AM, Marco Cevoli <marco.cevoli@xxxxxxxxx>wrote:

> Hi Jaap,
>
> any news about this request? Is there anything I can do to make icons
> bigger and/or scalable with the font?
>
> Thanks,
>
> Marco Cevoli
>
>
> On Thu, Jan 31, 2013 at 11:18 AM, Jaap Karssenberg
> <jaap.karssenberg@xxxxxxxxx> wrote:
> > On Thu, Jan 31, 2013 at 11:11 AM, Marco Cevoli <marco.cevoli@xxxxxxxxx>
> wrote:
> >> They're simple too small for me. The difference between checked-yes
> >> and checked-no is almost invisible. This is especially true when
> >> combined with a bigger font (as I did).
> >
> > Maybe I should look into having them scale with the font than, guess
> > that makes sense from usability point of view.
> >
> > REgards,
> >
> > Jaap
>