Optionen speichern

Der ausgelagerte Menuebefehl „Optionen speichern“ ist eigentlich überflüssig, wenn man bei „Optionen einstellen“ das Konfigurationsfeld mit einem „Speichern-Button“ ergänzt.

Ist doch sinnvoller und einfacher so.

:roll_eyes: