Ich sehe da aber auch rot und grün..? Und das hatte ich ohne RTTI m.W. nicht.
Grün habe ich bei mir auch nicht - könnte aber Prof spezifisch sein. Mache nachher nochmal ein Foto!
Bzw - auf dem obigem Foto läuft ja RTTI (siehe Pfeil) - dieses Symbol fehlt ja anscheinend aktuell.