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.

Last modified September 25, 2020: feat(docs): add Tips (#60) (946abec3)