Closed mariotaku closed 5 years ago
This PR solves #595 . Currently all preferences are unsorted and hard to find. This patch will make preferences sort by key alphabetically.
Please consider merging this PR, thanks!
This PR solves #595 . Currently all preferences are unsorted and hard to find. This patch will make preferences sort by key alphabetically.