You can export the current document as a HTML file, including syntax highlighting. Just choose File -gt; Export -gt; HTML...
Vi povas eksporti la nunan dokumenton kiel HTML- dosieron kun sintaksa akcentado. Elektu Dosiero - gt; Eksporti - > gt; HTML...