mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-17 14:27:12 +09:00
It doesn't need to loop over the DefaultCommonSettings() again, since they're already included in the default settings and set via SetGlobalOptionNative().