52 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	4ed88609e5	Move license picker into usersettings, add possibility to highlight a setting	2023-01-13 02:49:37 +01:00
Pieter Vander Vennet	ee575a9c42	Move 'usersettings' into separate pseudolayer	2023-01-12 01:17:07 +01:00