diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-11-05 16:27:53 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-11-05 16:27:53 +0100 |
commit | 7d9b63e35fb270ed0a23d82672793984f219f086 (patch) | |
tree | d06d9221ee2a2e06d28b02e97fa6a9a1f7553365 /tex/context/base/mkiv/buff-ver.mkxl | |
parent | 343fdd99ef79884fca1f86b49c950e03939aeedf (diff) | |
download | context-7d9b63e35fb270ed0a23d82672793984f219f086.tar.gz |
2020-11-05 15:23:00
Diffstat (limited to 'tex/context/base/mkiv/buff-ver.mkxl')
-rw-r--r-- | tex/context/base/mkiv/buff-ver.mkxl | 41 |
1 files changed, 8 insertions, 33 deletions
diff --git a/tex/context/base/mkiv/buff-ver.mkxl b/tex/context/base/mkiv/buff-ver.mkxl index 9f8a20695..db8b62b64 100644 --- a/tex/context/base/mkiv/buff-ver.mkxl +++ b/tex/context/base/mkiv/buff-ver.mkxl @@ -581,45 +581,20 @@ \setuevalue{\e!type\currenttyping\v!file}{\typefile[\currenttyping]}% \to \everydefinetyping -%% \protected\def\typefile -%% {\dodoubleempty\buff_verbatim_type_file} -%% -%% \def\buff_verbatim_type_file[#1][#2]#3% -%% {\begingroup -%% \ifsecondargument -%% \setuptyping[#1][#2]% -%% \buff_verbatim_type_file_checked{#1}{#3}% -%% \orelse\iffirstargument -%% \ifcondition\validassignment{#1}% -%% \setuptyping[\v!file][#1]% -%% \buff_verbatim_type_file_checked\v!file{#3}% -%% \else -%% \buff_verbatim_type_file_checked{#1}{#3}% -%% \fi -%% \else -%% \buff_verbatim_type_file_checked\v!file{#3}% -%% \fi -%% \useindentnextparameter\typingparameter % needs checking -%% \endgroup -%% \dorechecknextindentation} % needs checking - -\permanent\tolerant\protected\def\typefile[#1]#*[#2]% - {\buff_verbatim_type_file{#1}{#2}} - -\def\buff_verbatim_type_file#1#2#3% +\permanent\tolerant\protected\def\typefile[#1]#*[#2]#:#3% {\begingroup - \ifarguments - \buff_verbatim_type_file_checked\v!file{#3}% - \or - \ifcondition\validassignment{#1}% + \ifparameter#2\or + \setuptyping[#1][#2]% + \buff_verbatim_type_file_checked{#1}{#3}% + \orelse\ifparameter#1\or + \ifhastok={#1}% \setuptyping[\v!file][#1]% \buff_verbatim_type_file_checked\v!file{#3}% \else \buff_verbatim_type_file_checked{#1}{#3}% \fi - \or - \setuptyping[#1][#2]% - \buff_verbatim_type_file_checked{#1}{#3}% + \else + \buff_verbatim_type_file_checked\v!file{#3}% \fi \useindentnextparameter\typingparameter % needs checking \endgroup |