diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-07-13 16:28:12 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-07-13 16:28:12 +0200 |
commit | 5a923dc5ac055164721b40a58e4d1614fc7f2aa1 (patch) | |
tree | b680cfbe5a20a623c6dd2593fd4be474d047adca /tex/context/base/mkiv/mlib-pdf.lua | |
parent | bf7fc74b4f42f6bc1c57488da72bbc142c47f86a (diff) | |
download | context-5a923dc5ac055164721b40a58e4d1614fc7f2aa1.tar.gz |
2016-07-13 15:15:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-pdf.lua')
-rw-r--r-- | tex/context/base/mkiv/mlib-pdf.lua | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/tex/context/base/mkiv/mlib-pdf.lua b/tex/context/base/mkiv/mlib-pdf.lua index a2d4638a9..711b860b8 100644 --- a/tex/context/base/mkiv/mlib-pdf.lua +++ b/tex/context/base/mkiv/mlib-pdf.lua @@ -136,15 +136,13 @@ function pdfflusher.comment(message) message = formatters["%% mps graphic %s: %s"](metapost.n,message) if experiment then context(pdfliteral(message)) + elseif savedliterals then + local last = #savedliterals + 1 + savedliterals[last] = message + context.MPLIBtoPDF(last) else - if savedliterals then - local last = #savedliterals + 1 - savedliterals[last] = message - context.MPLIBtoPDF(last) - else - savedliterals = { message } - context.MPLIBtoPDF(1) - end + savedliterals = { message } + context.MPLIBtoPDF(1) end end end @@ -393,6 +391,8 @@ local function setvariables(figure) return variables end +function metapost.comment() end + function metapost.flush(result,flusher,askedfig) if result then local figures = result.fig @@ -408,6 +408,7 @@ function metapost.flush(result,flusher,askedfig) local textfigure = flusher.textfigure local processspecial = flusher.processspecial or metapost.processspecial local variables = setvariables(figure) -- also resets then in case of not found + metapost.comment = flusher.comment for index=1,#figures do local figure = figures[index] local properties = setproperties(figure) @@ -632,6 +633,7 @@ function metapost.flush(result,flusher,askedfig) end end end + function metapost.comment() end end end end |