public virtual void Visit(IndentedCode code) { Write("<pre>"); Write("<code>"); Write(Escape(code.Contents)); Write("</code>"); Write("</pre>"); WriteLine(); }
public virtual void Visit(IndentedCode code) { WriteStartTag(code, "pre"); WriteStartTag(code, "code"); WriteEscaped(code.Contents); WriteEndTag(code, "code"); WriteEndTag(code, "pre"); WriteLine(); }
public void IndentedCode(IndentedCode code) { Write("indented_code {0}", format_str(code.Content)); }
public void IndentedCode(IndentedCode code) { writer.Write("<pre><code>"); writer.Write(EscapeHtml(code.Content, false)); writer.WriteLine("</code></pre>"); }
public void IndentedCode(IndentedCode code) { PushPrefix(" "); WriteLinesPrefixed(code.Content); PopPrefix(); }