Lieber Der-Dennis,

meinst Du die Info-, Fehler- und Warnmeldungen links neben den Zeilennummern?

ja!

Ich glaube, die werden von den "WebWorkern" generiert.

Das hatte ich auch schon gelesen, aber nur auf die ToDo-Liste gesetzt, ohne mich da weiter zu informieren.

Das müsstest Du dann mit editor.session.setOption("useWorker", false); für einen bzw. require("ace/config").setDefaultValue("session", "useWorker", false); für alle Editoren ausschalten können.

Sehr schön! Jetzt wäre abzuwägen, ob wir diese Worker ganz abstellen wollen, oder ob sie im Zweifelsfalle doch eher nützlich wären.

Wenn nur einzelne Meldungen oder Meldungstypen ausgeblendet werden sollen, muss man wahrscheinlich so einen WebWorker erweitern bzw. einen eigenen schreiben, wie unter Syntax validation beschrieben.

Irghs! Bin froh, dass die Mediawiki-Extension jetzt brav schnurrt. Einen eigenen Syntax-Validator zu schreiben (auch wenn ich nur einen Fork erstelle), muss ich vorerst auf die lange Bank schieben.

Unabhängig davon: Ich finde die Meldungen ebenso wie das gesamte Projekt gut. Ich würde die Meldungen drin lassen, die schaden ja nicht.

Herzlichen Dank für Dein Lob! Und ich mag die Meldungen auch. Matthias Apsel fand, dass man da vielleicht das eine oder andere Element der Verunsicherung vermeiden sollte.

@Matthias Apsel: Würdest Du dafür gleich alle Meldungen rausschmeißen?

Liebe Grüße,

Felix Riesterer.