Wir planen in naher Zukunft ein Softwareupdate und hoffen, dass damit auch die Editor-bezogenen Fehler verschwinden werden. Das ist sauberer als das händische Patchen des bisherigen Editors, benötigt aber noch etwas Zeit.