I was going to file an issue requesting that button get a #:font key, so that I can set a custom font for my button, so I started digging into what it would take.
It turns out that button already has a #:font argument (gui/easy/private/view/button.rkt) -- it's just missing from the documentation (scribblings/reference.scrbl).
I was going to file an issue requesting that
button
get a#:font
key, so that I can set a custom font for my button, so I started digging into what it would take.It turns out that
button
already has a#:font
argument (gui/easy/private/view/button.rkt) -- it's just missing from the documentation (scribblings/reference.scrbl).