On Thu, 2015-10-15 at 16:02 +0200, Jehan wrote: > 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.
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... --Mitch