micro/internal
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
..
action infocomplete: Complete filetypes (#3090) 2024-01-17 00:06:45 -08:00
buffer Set bits in mode used when opening files (#3095) 2024-01-17 00:06:14 -08:00
clipboard Use zyedidia/clipper for external clipboard 2022-06-14 08:40:57 -04:00
config Make plugins in ~/.config/micro/plug dir override built-in plugins (#3031) 2024-01-17 00:09:33 -08:00
display Add 'scrollbarchar' option (#2342) 2023-07-08 14:02:01 -07:00
info Add HistorySearchUp and HistorySearchDown actions (#1829) 2023-07-08 14:00:22 -07:00
lua chore: os.SEEK_CUR os.SEEK_END os.SEEK_SET has been deprecated since Go 1.7 (#2856) 2023-07-04 12:13:41 -07:00
screen Add fakecursor option 2023-01-26 18:02:54 -08:00
shell Fix term output capturing 2023-09-08 23:27:39 -07:00
util util.HttpRequest helper to make requests with headers (#2678) 2023-01-30 01:29:06 -08:00
views Fix unsplit crash 2020-02-08 21:06:13 -05:00