Re: [Zim-wiki] How to change checkbox icon size?

2013-07-12 Thread Jaap Karssenberg
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?

2013-07-10 Thread Jaap Karssenberg
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?

2013-07-10 Thread Marco Cevoli
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?

2013-01-31 Thread Jaap Karssenberg
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?

2013-01-31 Thread Marco Cevoli
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?

2013-01-31 Thread Jaap Karssenberg
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