@@ -9,10 +9,11 @@ private val spacer = (str: String) => if str.isEmpty then str else " " + str
99extension [Msg ](elem : Elem [Msg ])
1010 def render : String =
1111 elem match
12- case _ : Empty .type => " "
13- case t : Text => t.value
14- case h : Html [? ] => h.render
15- case c : CustomElem [? ] => c.toElems.mkString
12+ case _ : Empty .type => " "
13+ case t : Text => t.value
14+ case h : Html [? ] => h.render
15+ case c : CustomElem [? ] => c.toElems.mkString
16+ case HtmlEntity (value) => value
1617
1718extension [Msg ](html : Html [Msg ])
1819 def render : String =
@@ -27,10 +28,11 @@ extension [Msg](html: Html[Msg])
2728 spacer(tag.attributes.map(_.render).filterNot(_.isEmpty).mkString(" " ))
2829
2930 val children = tag.children.map {
30- case _ : Empty .type => " "
31- case t : Text => t.value
32- case h : Html [? ] => h.render
33- case c : CustomElem [? ] => c.render
31+ case _ : Empty .type => " "
32+ case t : Text => t.value
33+ case h : Html [? ] => h.render
34+ case c : CustomElem [? ] => c.render
35+ case HtmlEntity (value) => value
3436 }.mkString
3537
3638 s """ < ${tag.name}$attributes> $children</ ${tag.name}> """
0 commit comments