Änderungsprotokoll

No longer broken

• Fixed settings don't get saved if they've been ever changed before the new format migration in v0.12.8.
• Fixed hotkeys don't get saved through a restart in some situations.