diff options
author | Hans Hagen <pragma@wxs.nl> | 2010-04-13 16:57:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2010-04-13 16:57:00 +0200 |
commit | f23cb4ae64dc24ea24aaa2d1fdf049756063cfff (patch) | |
tree | 817575a0319465a5dc7635d657ff63ee3ce9b72e /tex/context/base/font-ctx.lua | |
parent | d756982cace67ccf8728a65e2806bb79959cf810 (diff) | |
download | context-f23cb4ae64dc24ea24aaa2d1fdf049756063cfff.tar.gz |
beta 2010.04.13 16:57
Diffstat (limited to 'tex/context/base/font-ctx.lua')
-rw-r--r-- | tex/context/base/font-ctx.lua | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/tex/context/base/font-ctx.lua b/tex/context/base/font-ctx.lua index 95a02265e..ef02f925c 100644 --- a/tex/context/base/font-ctx.lua +++ b/tex/context/base/font-ctx.lua @@ -489,7 +489,7 @@ fonts.get_digit_width = fonts.set_digit_width -- soon to be obsolete: -local loaded = { -- prevent loading +local loaded = { -- prevent double loading ["original-base.map" ] = true, ["original-ams-base.map" ] = true, ["original-ams-euler.map"] = true, @@ -504,8 +504,19 @@ function fonts.map.loadfile(name) end end +local loaded = { -- prevent double loading +} + function fonts.map.loadline(how,line) - pdf.mapline(how .. " " .. line) + if line then + how = how .. " " .. line + elseif how == "" then + how = "= " .. line + end + if not loaded[how] then + pdf.mapline(how) + loaded[how] = true + end end function fonts.map.reset() |