wip: rework the preferences API

This commit is contained in:
open 2024-02-03 16:07:29 +01:00
parent 4c14322aa3
commit 718c10b7aa

File diff suppressed because one or more lines are too long