"
return res
end
end
##
# Model entity or whatever that can produce an infobox
interface HInfoBoxable
# An new infobox documenting the entity
fun infobox(v: HtmlightVisitor): HInfoBox is abstract
end
redef class MDoc
# Append an entry for the doc in the given infobox
fun fill_infobox(res: HInfoBox)
do
if content.length < 2 then
res.new_field("doc").text(content.first)
return
end
var c = res.new_dropdown("doc", content.first)
for x in content.iterator.skip_head(1) do
c.append x
c.add_raw_html "