mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-10 06:40:24 +09:00
With these changes, settings.json should only contain options that have been modified from their default values. Micro will actively options that are set to default values from the settings.json file. To see a full list of settings and their defaults, see the "options" documentation, as well as `micro -options`.