Export to HTML

Export highlighted text to HTML with and without line numbers and/or changing line background color.

ExportToHtml.png
ExportToHtml1.png
ExportToHtml2.png

Last edited Jan 16, 2014 at 7:10 PM by dirkster, version 2

Comments

No comments yet.