Marc Durdin 01fe68a66d feat(developer): Move options to ~/.keymandeveloper/options.json ... Fixes #10161. Includes transition of existing options from registry to options.json, and once options.json exists, will always read from that and ignore registry. Was able to eliminate some of the legacy datatype usage for several options. Reader/writer includes naive file lock retry to avoid contention, which I am hopeful will be sufficient for our needs, given the low chance of contention.		2023-12-11 15:31:21 +07:00
..
src	feat(developer): Move options to ~/.keymandeveloper/options.json	2023-12-11 15:31:21 +07:00
.gitignore	chore(developer): move server with no changes	2022-05-23 12:15:34 +10:00
build.sh	fix(developer): Add configure output for font	2023-11-14 08:32:18 +07:00