Fix overwriting persistent non-default settings in settings.json with temporary default settings#3010
Merged
dmaluka merged 1 commit intomicro-editor:masterfrom Mar 14, 2024
settings.json with temporary default settings#3010