mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-17 22:37:10 +09:00
This prevents crashes that occur when the user has put the wrong type for a setting manually in the settings.json file.
This prevents crashes that occur when the user has put the wrong type for a setting manually in the settings.json file.