Re: [Zim-wiki] How to change checkbox icon size?
On Wed, Jul 10, 2013 at 4:17 PM, Marco Cevoli marco.cev...@gmail.comwrote: Thanks, Jaap. No problem at all. I suppose you refer to the source files, do you? I don't have pageview.py in my Windows installation... Ah, yes, unfortunately only easy to hack if you run from source. -- Jaap ___ 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
Re: [Zim-wiki] How to change checkbox icon size?
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.cev...@gmail.comwrote: 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.karssenb...@gmail.com wrote: On Thu, Jan 31, 2013 at 11:11 AM, Marco Cevoli marco.cev...@gmail.com 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 ___ 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
Re: [Zim-wiki] How to change checkbox icon size?
Thanks, Jaap. No problem at all. I suppose you refer to the source files, do you? I don't have pageview.py in my Windows installation... Best, Marco Cevoli Traduttore tecnico. Grafico. Congiungitore di punti. --- http://www.marcocevoli.com i...@marcocevoli.com t 34 675 800 826 ~~~ My t-shirt shop: http://vulnavia.spreadshirt.net My latest projects: http://www.qabiria.com, http://www.allerglobal.com On Wed, Jul 10, 2013 at 11:07 AM, Jaap Karssenberg jaap.karssenb...@gmail.com wrote: 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.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? Thanks, 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 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 ___ 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
Re: [Zim-wiki] How to change checkbox icon size?
On Wed, Jan 30, 2013 at 10:25 PM, Marco Cevoli marco.cev...@gmail.com wrote: I would like to have bigger checkbox icons (for the three states). Actually, if I look in the data/pixmaps folder I can see the icons and they look considerably bigger. Where can I set their size? There is no configuration for that. They are defined as the same size as menu item icons, so they only scale with the Gtk theme. What is your consideration to want to make them bigger? Regards, Jaap ___ 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
Re: [Zim-wiki] How to change checkbox icon size?
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). Regards Marco Cevoli ___ 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
Re: [Zim-wiki] How to change checkbox icon size?
On Thu, Jan 31, 2013 at 11:11 AM, Marco Cevoli marco.cev...@gmail.com 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 ___ 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