mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-04 14:10:23 +09:00
Removing the ability for plugins to modify settings.json and bindings.json. Adding an option to reject plugins to bind keys.
Removing the ability for plugins to modify settings.json and bindings.json. Adding an option to reject plugins to bind keys.