Hallo alle,

ich habe den Hochlichter ein weiteres mal ausgetauscht und verwende nun Pygments. Das ist der wohl bekannteste Hochlichter, allerdings in Python geschrieben. Technisch funktioniert das so, dass pygmentize als long-running process gestartet wird und der Code dort hinein gepiped wird. Heraus kommt das HTML.

Mal sehen, ob es damit insgesamt besser klappt…

LG,
CK