var toolcontext = new ToolContext
+# Disable `cached` because it causes issues when printing transformed AST. FIXME
+toolcontext.cached_phase.disabled = true
+
+# Try to colorize, even if programs are non valid
+toolcontext.keep_going = true
+
var opt_fragment = new OptionBool("Omit document header and footer", "-f", "--fragment")
var opt_first_line = new OptionInt("Start the source file at this line (default: 1)", 0, "--first-line")
var opt_last_line = new OptionInt("End the source file at this line (default: to the end)", 0, "--last-line")
else
page.add_raw_html """<link rel="stylesheet" type="text/css" href="style.css" />"""
end
- page.add_raw_html """<link rel="stylesheet" href="http://netdna.bootstrapcdn.com/bootstrap/3.1.1/css/bootstrap.min.css">\n"""
- 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
v.enter_visit(m)
if not opt_fragment.value then
page.add(v.html)
page.add_raw_html "</pre>"
- page.add_raw_html """<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>\n"""
- page.add_raw_html """<script src="http://netdna.bootstrapcdn.com/bootstrap/3.1.1/js/bootstrap.min.js"></script>\n"""
- page.add_raw_html """<script>$(".popupable").popover({html:true, placement:'top'})/*initialize bootstrap popover*/</script>\n"""
+ page.add_raw_html v.foot_content
page.add_raw_html "</body>"
else
page = v.html