Hhmm ![]()
Sie haben diesen Gist-Ausschnitt dort. Ihr Vorschlag ist, dass Leute das außerhalb des Highlighters implementieren (in diesem Fall ist es marked.js; ich vermute, dasselbe ließe sich auch mit highlight.js machen).
Denkst du, dass Discourse das könnte? Oder, um vorwegzugehen: Ergibt das architektonisch überhaupt Sinn?
Die Grundidee ist wohl einfach, eine Suchen-und-Ersetzen-Operation durchzuführen, die Diff-Markierungen zu entfernen, den Text an den Syntax-Highlighter zu übergeben und ihn danach mit weiteren Suchen-und-Ersetzen-Operationen weiterzuverarbeiten. Das klingt sehr umständlich, aber die Wahrheit ist, dass der Ausschnitt gar nicht so kompliziert ist.