A font list is a list containing all fonts which have been created. There
is only one instance of this class: TheFontList. Use this object to search
for a previously created font of the desired type and create it if not already found.
In some windowing systems, the font may be a scarce resource, so it is best to
reuse old resources if possible. When an application finishes, all fonts will be
deleted and their resources freed, eliminating the possibility of `memory leaks’.
Used by Widgets to add a font to the list, called in the font constructor.
Finds a font of the given specification, or creates one and adds it to the list. See the Font constructor for
details of the arguments.
Used by Widgets to remove a font from the list.
[This page automatically generated from the Textile source at 2023-06-03 08:07:31 +0000]