bug#46773: 28.0.50; Different heights for toolbar

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: dgutov@yandex.ru,  rpluim@gmail.com,  46773@debbugs.gnu.org
> Date: Sat, 27 Feb 2021 12:52:17 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > So I guess until we teach Emacs to scale the icons, a user option to
> > disable the text labels should be a stopgap?
> 
> Or...  see what the height of the default font is and use that as a
> minimum height?

If we can do that, yes.  I assumed that the font used by the GTK tool
bar is not our default font, is it?  If it isn't, how can we know its
size?