这个页面还没有被翻译。
你可以帮助我们 翻译本页。
Preferences
What do the preferences mean and how to set them
You can set the preferences by either clicking Options->Preferences or pressing Ctrl+P.
You can hover over the settings to see the tooltips. Usually, the tooltips are clear enough, but if you want a more detailed explaination, you can read the documentation.
最后修改 October 1, 2020: feat: add the structure of translations (#65) (090d15cf)