Re: [Gimp-gui] Shrink Toolbox Widgets

[Jehan <jehan girinstud io>]

Hi,

On 2015-10-15 14:54, Kevin Payne wrote:
> > There is also a bug report about switching to small icons more easily
> > (https://bugzilla.gnome.org/show_bug.cgi?id=754442), though I see that
> > small icons do not actually change the size of such buttons (fg/bg 
> > color
> > and such in the toolbox), which can be considered as related.
> > Jehan
>
> The fg/bg selection widget size is controlled by the theme, with the
> limitation of the hard-coded values. See
> https://bugzilla.gnome.org/show_bug.cgi?id=739469 where the hard-coded
> values are causing problems with the opposite problem - high
> resolution monitors needing bigger icons/widgets.

If anyone is well aware of GTK+ 3 theme logics and design choice, this 
could be interesting by the way.
I'd like to understand better what should be considered as theme choices 
and what should be programmatic choices.

Jehan

> Kevin
> _______________________________________________
> gimp-gui-list mailing list
> gimp-gui-list gnome org
> https://mail.gnome.org/mailman/listinfo/gimp-gui-list