55 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	45a7ef8995	Housekeeping...	2023-01-15 03:30:33 +01:00
Pieter Vander Vennet	9fafd7d456	Improve userinformation panel with contribution statistics	2023-01-14 04:19:10 +01:00
Pieter Vander Vennet	978603b2f0	Translation sync	2023-01-13 06:05:19 +01:00
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