Durch einen Bug in der neusten Version des Texteditors wurden die Bedienelemente ausgeblendet sobald man mit STRG+V versucht hat Text einzufügen. Wir haben daher die vorhergehende Version wiederhergestellt und installieren die aktuelle sobald das Problem beseitigt ist.