diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-06-09 15:32:09 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-06-09 15:32:09 +0200 |
commit | 93dccfc40625a754b372edd228724969b28e4342 (patch) | |
tree | 94cec6d553ccc2b797802f39085f9a4725bec8ce /tex/context/base/mkiv/mlib-pdf.lua | |
parent | 86bfea5faac983d15c47eec27f43ec56e75c69ef (diff) | |
download | context-93dccfc40625a754b372edd228724969b28e4342.tar.gz |
2018-06-09 14:37:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-pdf.lua')
-rw-r--r-- | tex/context/base/mkiv/mlib-pdf.lua | 30 |
1 files changed, 21 insertions, 9 deletions
diff --git a/tex/context/base/mkiv/mlib-pdf.lua b/tex/context/base/mkiv/mlib-pdf.lua index d93e1b879..791d36607 100644 --- a/tex/context/base/mkiv/mlib-pdf.lua +++ b/tex/context/base/mkiv/mlib-pdf.lua @@ -48,17 +48,29 @@ local experiment = true -- uses context(node) that already does delayed nod local savedliterals = nil -- needs checking local mpsliteral = nodes.pool.register(node.new("whatsit",nodes.whatsitcodes.pdfliteral)) -- pdfliteral.mode = 1 -local f_f = formatters["%F"] - -local f_m = formatters["%F %F m"] -local f_c = formatters["%F %F %F %F %F %F c"] -local f_l = formatters["%F %F l"] -local f_cm = formatters["%F %F %F %F %F %F cm"] -local f_M = formatters["%F M"] +-- we can have "withaccuracy 3" and then change formatters on the fly + +-- local f_f = formatters["%F"] +-- local f_m = formatters["%F %F m"] +-- local f_c = formatters["%F %F %F %F %F %F c"] +-- local f_l = formatters["%F %F l"] +-- local f_cm = formatters["%F %F %F %F %F %F cm"] +-- local f_M = formatters["%F M"] +-- local f_j = formatters["%i j"] +-- local f_J = formatters["%i J"] +-- local f_d = formatters["[%s] %F d"] +-- local f_w = formatters["%F w"] + +local f_f = formatters["%.6F"] +local f_m = formatters["%.6F %.6F m"] +local f_c = formatters["%.6F %.6F %.6F %.6F %.6F %.6F c"] +local f_l = formatters["%.6F %.6F l"] +local f_cm = formatters["%.6F %.6F %.6F %.6F %.6F %.6F cm"] +local f_M = formatters["%.6F M"] local f_j = formatters["%i j"] local f_J = formatters["%i J"] -local f_d = formatters["[%s] %F d"] -local f_w = formatters["%F w"] +local f_d = formatters["[%s] %.6F d"] +local f_w = formatters["%.3F w"] directives.register("metapost.savetable",function(v) if type(v) == "string" then |