Sets the currently-selected font.
a `GtkFontChooser`
a font name like “Helvetica 12” or “Times Bold 18”