Difference between revisions of "Line breaks marker"
Jump to navigation
Jump to search
m (Garulfo moved page Goodies to Line breaks marker without leaving a redirect) |
m |
||
Line 32: | Line 32: | ||
\stoptyping | \stoptyping | ||
</context> | </context> | ||
+ | |||
+ | [[Category:Basics]] | ||
+ | [[Category:Tools]] |
Revision as of 14:52, 8 June 2020
End of line marker in verbatim texts
from the wizard himself:
\startreusableMPgraphic{return} drawarrow (0,0)-- (1EmWidth,0)-- (1EmWidth,-.5ExHeight)-- (.5EmWidth,-.5ExHeight) ; \stopreusableMPgraphic \definesymbol[return][\reuseMPgraphic{return}] \setupcolors[state=start] \def\vcrlf{\symbol[return]\crlf\strut\kern1em\strut\ignorespaces} \setuptyping[option=commands] \starttyping test test test /vcrlf test test \stoptyping \setuptyping[option=color] \installnewpretty r \vcrlf \starttyping test \test{test} %%\ r test test \stoptyping
looks like this: