diff options
Diffstat (limited to 'tex/context/base/font-chk.lua')
-rw-r--r-- | tex/context/base/font-chk.lua | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tex/context/base/font-chk.lua b/tex/context/base/font-chk.lua index 079712bae..32fdf8894 100644 --- a/tex/context/base/font-chk.lua +++ b/tex/context/base/font-chk.lua @@ -74,3 +74,17 @@ function checkers.missing(head) end return head, false end + +trackers.register("fonts.missing", function(v) + tasks.enableaction("processors", "fonts.checkers.missing") -- always on then + checkers.enabled = v +end) + +function checkers.enable(delete) + tasks.enableaction("processors", "fonts.checkers.missing") -- always on then + if delete ~= nil then + checkers.delete = delete + end + checkers.enabled = true +end + |