Ich habe die Devs über euer Problem informiert. Sie erklärten mir, dass sie alle Widgets überarbeiten müssten, um es zu ermöglichen, die Schriftgröße überall zu ändern. Sie werden versuchen, dies während der Arbeiten an der Haupt-UI durchzuführen.