zyedidia.micro

mirror of https://github.com/zyedidia/micro.git synced 2026-02-28 09:50:21 +09:00

Files

Dmytro Maluka 59dda01cb7 Make plugins in ~/.config/micro/plug dir override built-in plugins (#3031 )

If ~/.config/micro/plug directory contains a plugin with the same name
as a built-in plugin, the expected behavior is that the user-defined
plugin in ~/.config/micro/plug is loaded instead of the built-in one.

Whereas the existing behavior is that the built-in plugin is used
instead of the user-defined one. Even worse, it is buggy: in this case
the plugin is registered twice, so its callbacks are executed twice
(e.g. with the autoclose plugin, a bracket is autoclosed with two
closing brackets instead of one).

Fix this by ensuring that if a plugin with the same name exists in the
~/.config/micro/plug directory, the built-in one is ignored.

Fixes #3029

2024-01-17 00:09:33 -08:00