if opt_last_line.value != 0 then v.last_line = opt_last_line.value
if opt_ast.value then v.with_ast = true
var page = null
+ var m = modelbuilder.mmodule2nmodule[mm]
if not opt_fragment.value then
page = new HTMLTag("html")
page.add_raw_html """<head>
- <meta charset="utf-8">"""
+ <meta charset="utf-8">
+ <title>file {{{m.location.file.filename}}}</title>"""
if dir == null then
page.add_raw_html """
<style type="text/css">
else
page.add_raw_html """<link rel="stylesheet" type="text/css" href="style.css" />"""
end
- page.add_raw_html "</head><body><pre>"
+ page.add_raw_html v.head_content
+ page.add_raw_html "</head><body><pre class='nit_code'>"
end
- var m = modelbuilder.mmodule2nmodule[mm]
v.enter_visit(m)
if not opt_fragment.value then
page.add(v.html)
- page.add_raw_html "</pre></body>"
+ page.add_raw_html "</pre>"
+ page.add_raw_html v.foot_content
+ page.add_raw_html "</body>"
else
page = v.html
end