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:
And see which size suits you best.
Hope this helps,
On Tue, Jul 9, 2013 at 11:28 AM, Marco Cevoli <marco.cev...@gmail.com>wrote:
> Hi Jaap,
> any news about this request? Is there anything I can do to make icons
> bigger and/or scalable with the font?
> Marco Cevoli
> On Thu, Jan 31, 2013 at 11:18 AM, Jaap Karssenberg
> <jaap.karssenb...@gmail.com> wrote:
> > On Thu, Jan 31, 2013 at 11:11 AM, Marco Cevoli <marco.cev...@gmail.com>
> >> 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
Mailing list: https://launchpad.net/~zim-wiki
Post to : firstname.lastname@example.org
Unsubscribe : https://launchpad.net/~zim-wiki
More help : https://help.launchpad.net/ListHelp