emit-char ( char document -- )


Vocabulary
html5

Inputs
charan object
documentan object


Outputs
None

Definition


:: emit-char ( char document -- )
char 0 =
[ document emit-null-character ] [
document skip-leading-newline?>> char 10 = and
:> skip? document f >>skip-leading-newline? drop skip?
[ document char body-character ] unless
] if ;