1.203.2 Send methods

theme_font ->initialise: name=name, derived_from=font, summary=[string]*

Create a theme font with the given name, derived from the given font. The font is added to @font_aliases and @theme_fonts. If a theme font with this name exists, theme_font<-lookup returns it after setting theme_font->derived_from.

theme_font ->derived_from: font

Change the font this font is derived from. If it differs, the theme font copies its family, style, weight and points and drops its window system font and metrics, so they are computed again on the next use. This does not update the windows: use display_manager->fonts_changed after changing theme fonts.

theme_font ->unlink:

Remove the font from @theme_fonts and @font_aliases.