On Thu, 2015-10-15 at 16:02 +0200, Jehan wrote:
> 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,
> could be interesting by the way.
> I'd like to understand better what should be considered as theme
> and what should be programmatic choices.
I think I have a pretty complete picture here and even spent some
time recently on that widget. It can easily be made more flexible
in GIMP 2.10, the GTK+ 3.x porting effort is minimal. Will look if
I even produced an unfinished patch...