Hi,

Zu gunsten der Übersichtlichkeit würde ich die Tags gerne farbig markiert haben. Nun meine Frage:
Gibt es einen HTML-Editor, der eine Funktion zum exportieren des Quelltextes hat?

Hmm, wieso "exportieren"?

Wenn Du die Dokumentation direkt in LyX (oder meinetwegen LaTeX) machst, dann kannst Du mit \usepackage{listings} den gesamten Quelltext direkt ab source importieren (kein copy/paste noetig, Du hast immer die aktuelle Version drin!). Das Teil kann highlighting, Umbruch von langen Zeilen, Nummerierung etc. etc.

Und der Export als PDF ist sowieso dabei ;-)

Gruss aus Lausanne,

• Joerg