html formatter: a patch to allow escaping formatting characters

FossilOrigin-Name: 9a81e5658c991acf16cb576c3a77613420263ed2812cf561ae0fea638d80384f
This commit is contained in:
crc 2020-02-21 20:58:11 +00:00
parent 3b2970a308
commit 41803c58a6

View file

@ -133,7 +133,6 @@ to deal with.
'Code var 'Code var
:format :format
@Escape [ &Escape v:on ] if;
$` [ @Escape [ &Escape v:off $* c:put ] if; $` [ @Escape [ &Escape v:off $* c:put ] if;
@Code n:zero? [ '<tt_style='display:inline'> &Code v:on ] @Code n:zero? [ '<tt_style='display:inline'> &Code v:on ]
[ '</tt> &Code v:off ] choose s:put ] case [ '</tt> &Code v:off ] choose s:put ] case
@ -143,6 +142,7 @@ to deal with.
$_ [ @Escape @Code or [ &Escape v:off $_ c:put ] if; $_ [ @Escape @Code or [ &Escape v:off $_ c:put ] if;
@Emphasis n:zero? [ '<em> &Emphasis v:on ] @Emphasis n:zero? [ '<em> &Emphasis v:on ]
[ '</em> &Emphasis v:off ] choose s:put ] case [ '</em> &Emphasis v:off ] choose s:put ] case
$\ [ &Escape v:on ] case
c:put ; c:put ;
:s:put<formatted> [ format ] s:for-each ; :s:put<formatted> [ format ] s:for-each ;