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)