Exporting & Printing
To export, go
(Choose your desired format)
Or from the Export Sheet (
HTML & PDF files and printed documents will use the visual options from your preferences (syntax coloring, font size, etc).
However you may wish to customize the printed or exported document further. This can be done from the Export Sheet (
This sheet lets you specify font, font size, syntax coloring, and whether line numbers & the total are visible before exporting. There is an option to hide comments (text following '//') and heading indicators (#) from the printed/exported output.