Export Source to PDF (WIP)
Export Source to PDF (WIP)
Export Source to PDF (WIP)

Merge routines for printing and exporting to pdf
printing now uses the highlight2html approach like exporting

Add export to ODT files

TODO: PDF/Printer settings in dialog
HTML-Export: Add line numbers

Add option to export with leading line numbers
Configurable number of digits.

For now I manually enter <span class="lilypond-linenumber"> element around
the number, without having a corresponding style sheet.

Should better be a new token class
html-export: separate 'format' setting

'format' is now only the html-plain/richtext differenct
'filetype' is used for html, pdf or odt generation

Having only 'format' caused issues when exporting to clipboard but 'format=pdf' was set
Export-Dialog WIP

Add elements.
Start testing interaction with Settings