Make control font public or make a large-control-font.

[LeifAndersen]

At the moment, the only way to get a control font is via normal-control-font or one of its (for the most part) smaller variants.

It would make sense for there to be a large-control-font to go along with the small-control-font, and possibly even a huge-control-font to go along with tiny-control-font.

An alternative approach, it looks like the internal library has a producer that just returns the control font itself, letting the user pick a size, perhaps that would make a good public interface?

[mflatt]

The point of small-control-font, etc., is to provide font configurations (including specific sizes) consistent with platform-specific rules, but I'm not aware of a prescribed style for huge labels on any platforms.

You can construct a new font% object using some subset of the properties of normal-control-font, though, if that makes sense for your application.