tools: fix char:

locals-and-roots
Doug Coleman 2016-06-05 17:30:46 -07:00
parent 5d4ec06b7f
commit 314f9a18bf
2 changed files with 3 additions and 3 deletions

View File

@ -15,9 +15,9 @@ in: help.html
: escape-char ( ch -- ) : escape-char ( ch -- )
dup ascii? [ dup ascii? [
dup H{ dup H{
{ char: " "__quo__" } { char: \" "__quo__" }
{ char: * "__star__" } { char: * "__star__" }
{ char: : "__colon__" } { char: \: "__colon__" }
{ char: < "__lt__" } { char: < "__lt__" }
{ char: > "__gt__" } { char: > "__gt__" }
{ char: ? "__que__" } { char: ? "__que__" }

View File

@ -18,7 +18,7 @@ in: pdf.values
{ char: \r "\\r" } { char: \r "\\r" }
{ char: \t "\\t" } { char: \t "\\t" }
{ char: \\ "\\\\" } { char: \\ "\\\\" }
{ char: ( "\\(" } { char: \( "\\(" }
{ char: ) "\\)" } { char: ) "\\)" }
} escape-string-by ; } escape-string-by ;