Seit der Umstellung des Editors auf funktioniert die Autovervollständigungen für Nutzernamen nicht mehr, wenn man z.B. @Prof... tippt, wird nicht "ProfHase" vorgeschlagen. Bitte wiederherstellen.