4 Commits

Author	SHA1	Message	Date
David Robertson	1c0dc433a7	Simplify build_tab()	2020-05-06 03:10:40 +01:00
David Robertson	f05540a587	Deduplicate code creating widgets for prefs tabs	2020-05-06 03:02:23 +01:00
David Robertson	a00cdd6de7	Work in progress on prefs overhaul	2020-05-02 01:11:31 +01:00
David Robertson	86ef9d9038	Introduce a PreferencesSectionUI widget	2020-05-01 02:22:53 +01:00