Verbessert: Gleiche Datei mehrmals laden

Tue, 01 Nov 2022 21:15:00 +0100

Beim Auswählen oder Laden von Dateien ist es nun möglich, eine editierte Datei erneut zu laden. Bisher wurde dies in einigen Browsern nicht als Änderung erkannt, und die Datei wurde nicht erneut geladen.