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)