>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.
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.