Yes; we should probably do that. See <https://developer.gnome.org/gtk3/unstable/GtkSettings.html#GtkSettings--gtk-button-images>.
Yes; we should probably do that. See <https:/ /developer. gnome.org/ gtk3/unstable/ GtkSettings. html#GtkSetting s--gtk- button- images>.