From cea69d4c8d624dde45e8dc500b1e6813f65c883e Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 17 Nov 2024 17:43:04 -0800 Subject: [PATCH] fonts: adding default values --- basis/fonts/fonts-docs.factor | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/basis/fonts/fonts-docs.factor b/basis/fonts/fonts-docs.factor index 74c8d7ba9c6..91190866f30 100644 --- a/basis/fonts/fonts-docs.factor +++ b/basis/fonts/fonts-docs.factor @@ -35,12 +35,21 @@ ARTICLE: "fonts" "Fonts" font-with-foreground font-with-background } -"Useful constants:" +"Useful constructors:" { $subsections monospace-font sans-serif-font serif-font } +"Variables controlling default values:" +{ $subsections + default-font-size + default-font-foreground + default-font-background + default-monospace-font-name + default-sans-serif-font-name + default-serif-font-name +} "A data type for font metrics. The " { $vocab-link "fonts" } " vocabulary does not provide any means of computing font metrics, it simply defines a common data type that other vocabularies, such as " { $vocab-link "ui.text" } " may use:" { $subsections metrics } ;