html.entities: switch to using re-replace-with.
parent
8e4ce647d3
commit
0b390cc6f2
|
@ -2341,10 +2341,5 @@ R/ &(#[0-9]+|#[xX][0-9a-fA-F]+|[^\t\n\f <&#;]{1,32});?/
|
||||||
|
|
||||||
PRIVATE>
|
PRIVATE>
|
||||||
|
|
||||||
:: html-unescape ( str -- newstr )
|
: html-unescape ( str -- newstr )
|
||||||
[
|
re-charref [ rest replace-charref ] re-replace-with ;
|
||||||
0 str re-charref [
|
|
||||||
drop [ [ str subseq , ] keep 1 + ] dip
|
|
||||||
[ str subseq replace-charref , ] keep
|
|
||||||
] each-match str length str subseq ,
|
|
||||||
] { } make concat ;
|
|
||||||
|
|
Loading…
Reference in New Issue