Difference between revisions of "Line breaks marker"
Jump to navigation
Jump to search
m |
m (Garulfo moved page Goodies to Line breaks marker without leaving a redirect) |
Revision as of 21:13, 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:
