lat9nq b91b76df4f general: Make most settings a BasicSetting
Creates a new BasicSettings class in common/settings, and forces setting
a default and label for each setting that uses it in common/settings.
Moves defaults and labels from both frontends into common settings.
Creates a helper function in each frontend to facillitate reading the
settings now with the new default and label properties.

Settings::Setting is also now a subclass of Settings::BasicSetting. Also
adds documentation for both Setting and BasicSetting.
2021-06-28 17:32:17 -04:00
..
2018-10-02 15:30:48 +02:00
2018-10-02 15:30:48 +02:00
2018-01-13 23:11:51 +00:00
2021-06-07 20:27:51 -04:00
2020-08-26 02:32:32 -04:00