diff options
Diffstat (limited to 'tex/context/base/xtag-run.tex')
-rw-r--r-- | tex/context/base/xtag-run.tex | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tex/context/base/xtag-run.tex b/tex/context/base/xtag-run.tex index b187f7817..bc88b5cc3 100644 --- a/tex/context/base/xtag-run.tex +++ b/tex/context/base/xtag-run.tex @@ -116,10 +116,13 @@ \ifnum\kindofXMLelement=2\string/\fi \currentXMLelement \stopcolor - \ifcase#1\or\ifx\currentXMLarguments\empty\else - \cleanupXMLarguments - \startcolor[xtag:0]\hbox{\space}\showXMLarguments\unskip\stopcolor - \fi\fi + \ifcase#1\or + \cleanupXMLarguments % get rid of spurious end space and end / + \ifx\currentXMLarguments\empty\else + \setbox\scratchbox\hbox{\space}\hskip\wd\scratchbox % hm, slow + \startcolor[xtag:0]\showXMLarguments\unskip\stopcolor\unskip + \fi + \fi \startcolor[xtag:\ifnum\scratchcounter<0 0\else\number\scratchcounter\fi]% \ifnum\kindofXMLelement=3\string/\fi \string>% @@ -227,6 +230,7 @@ \enableXML\verbatimXML \enableregime[utf]% \chardef\utfunicodetracer8 + \veryraggedright \readfile{\truefilename{#1}}\donothing\donothing\endgraf \removelastskip % really needed \stopopelkaar |