Hans Hagen schrieb am 28.04.2019 um 18:42:
On 4/28/2019 5:56 PM, Aditya Mahajan wrote:
On Sun, 28 Apr 2019, Wolfgang Schuster wrote:
The problem are these settings in buff-imp-default.mkiv:
\setupstartstop
[DefaultSnippet]
[\c!before={\typingparameter\c!before},
\c!after={\typingparameter\c!after},
\c!style={\typingparameter\c!style}]
In buff-imp-tex.mkiv these values are inherited:
\definestartstop
[TexSnippet]
[DefaultSnippet]
So I can fix this locally by resetting before and after keys for
TexSnippet. What would be a good fix in buff-imp-default?
I assume Wolfgang will cook up a patch ...
The best solution is to remove the values from all three keys because
for now each of them is applies twice (even the style).
\setuptyping
[before=\hairline,
after=\hairline,
style=\tt\em]
\starttext
\starttyping[option=tex]
\donothing
\stoptyping
\stoptext
Wolfgang
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
