Difference between revisions of "Line breaks marker"
Jump to navigation
Jump to search
m (removed duplicated code) |
m |
||
Line 1: | Line 1: | ||
− | |||
− | |||
== End of line marker in verbatim texts == | == End of line marker in verbatim texts == | ||
Revision as of 20:42, 7 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: