20221217 update2
Author: ax_pokl,
published 2 years ago,
1. Changed the font size of the leaderboard, now the leaderboard page can accommodate more rankings
2. The setting configuration will now be saved in the registry, and some settings will be preserved when the game is opened for the second time