5 commits

Author	SHA1	Message	Date
Aleksey Kladov	037caec62c	Use american spelling for config ... As per 171c3c08fe/docs/dev/style.md (variable-naming) Also implement config aliasing, for pain-free settings migrations in the future	2021-01-07 15:07:19 +03:00
Aleksey Kladov	f7a15b5cd1	More maintainable config ... Rather than eagerly converting JSON, we losslessly keep it as is, and change the shape of user-submitted data at the last moment. This also allows us to remove a bunch of wrong Defaults	2021-01-06 15:39:28 +03:00
Aleksey Kladov	d7741d1610	Allow #anchor linking of config options	2021-01-05 13:09:06 +03:00
Rüdiger Herrmann	9f070531a6	Clean up descriptions for settings ... Use two consecutive newlines (`\n\n`) to actually continue text on a new line. Use proper markup to reference related settings. Consistently format references to files, editor commands, command line arguments, files, etc. as `code`. Fix typos, add missing full-stops, add missing default values.	2020-12-22 14:51:17 +01:00
Aleksey Kladov	0890512e1c	Include config into the manual	2020-12-09 15:31:10 +03:00