diff options
author | Hans Hagen <pragma@wxs.nl> | 2003-07-21 00:00:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2003-07-21 00:00:00 +0200 |
commit | 91f5bdb707b063e6e7acc31073db4cc17bd66593 (patch) | |
tree | 56f7dd7e967287dd8e0897c6ed3e013bbd7b7a58 /tex/context/base/xtag-pre.tex | |
parent | 11bb0fd566ba8f601ead37cb5e05e9b8ad04b96a (diff) | |
download | context-91f5bdb707b063e6e7acc31073db4cc17bd66593.tar.gz |
stable 2003.07.21
Diffstat (limited to 'tex/context/base/xtag-pre.tex')
-rw-r--r-- | tex/context/base/xtag-pre.tex | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tex/context/base/xtag-pre.tex b/tex/context/base/xtag-pre.tex index f6d6e7ec6..1a309c584 100644 --- a/tex/context/base/xtag-pre.tex +++ b/tex/context/base/xtag-pre.tex @@ -28,7 +28,11 @@ \defineXMLenvironment [\s!default] \defaultXMLelement \defaultXMLelement \defineXMLsingular [\s!default] \defaultXMLelement -\def\defaultXMLelement{\iftraceXMLelements[\currentXMLelement]\fi} +% \def\defaultXMLelement +% {\iftraceXMLelements[\currentXMLfullidentifier]\fi} + +\def\defaultXMLelement + {\iftraceXMLelements{\infofont<\currentXMLfullidentifier>}\fi} %D We can use the default handler to implement automatic %D element hiding. Beware: this overloads the tracer. |