Hallo Alexander,
danke für die Info, dann warte ich halt bis zu einer der nächsten Versionen.
Ja, mit dem MenuEditor (und allgemein der Installation von Erweiterungen) komme ich schon zurecht, und das wird erst mal helfen, das Problem zu umgehen. Aber wenn es eine Lösung gäbe, würde ich sie einem Workaround vorziehen
Gruß,
Jost