diff options
| author | Hans Hagen <pragma@wxs.nl> | 2023-04-01 10:50:35 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-04-01 10:50:35 +0200 |
| commit | 059fc69b2c7853b937ddb4cfc9d36304dee07893 (patch) | |
| tree | a58b878377348a05b55bf9b2c6ee44dcd8508c2c /tex/context/base/mkiv/font-log.lua | |
| parent | 97f560d2993c367fb84ef62eefbe90ca03c19ebc (diff) | |
| download | context-059fc69b2c7853b937ddb4cfc9d36304dee07893.tar.gz | |
2023-04-01 09:31:00
Diffstat (limited to 'tex/context/base/mkiv/font-log.lua')
| -rw-r--r-- | tex/context/base/mkiv/font-log.lua | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/tex/context/base/mkiv/font-log.lua b/tex/context/base/mkiv/font-log.lua index 092b5a62e..96b5864fd 100644 --- a/tex/context/base/mkiv/font-log.lua +++ b/tex/context/base/mkiv/font-log.lua @@ -19,12 +19,9 @@ fonts.loggers = loggers local usedfonts = utilities.storage.allocate() ----- loadedfonts = utilities.storage.allocate() ---[[ldx-- -<p>The following functions are used for reporting about the fonts -used. The message itself is not that useful in regular runs but since -we now have several readers it may be handy to know what reader is -used for which font.</p> ---ldx]]-- +-- The following functions are used for reporting about the fonts used. The message +-- itself is not that useful in regular runs but since we now have several readers +-- it may be handy to know what reader is used for which font. function loggers.onetimemessage(font,char,message,reporter) local tfmdata = fonts.hashes.identifiers[font] |