// ab hier kein brauchbares Highlighting mehr
hilft dir
//> ab hier sollte es wieder funktionieren...
Die Ursache ist mittlerweile gefunden. Und das Problem saß auch diesmal vor dem PC, dem schließenden Begrenzer darf kein Whitespace vorausgehen. Das ging im übrigen aus meinem Beispiel-Code auch nicht hervor. Dennoch Danke für die Hilfe.