On 08/02/2017 09:36 PM, Pablo Rodriguez wrote:
> Hans,
>
> after testing the new \xmlinlineprettyprinttext, I discovered the following:
> [...]
> \typeinlinebuffer doesn’t have \tt as default font.
Hans,
many thanks for having fixed this in latest beta.
Pablo
--
http://www.ousia.tk
___
Hans,
after testing the new \xmlinlineprettyprinttext, I discovered the following:
\starttext
\startbuffer[a]
\command
\stopbuffer
\typeinlinebuffer[a] vs. \typeinlinebuffer[a][option=TEX]
\stoptext
\typeinlinebuffer doesn’t have \tt as default font.
Many thanks for your