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 explanation, you can read the documentation.
Last modified January 31, 2021: fix: fix grammar errors (#134) (09659f70)