Dmytro Maluka
Dmytro Maluka
Actually the `filetype` option is a special case, it is local-only, so even `set filetype` should set the filetype for the current buffer only. It was fixed in #3042.
No, the latest release 2.0.13 was in Oct 2023, while #3042 was merge in Mar 2024. Maybe we will make a new release soon. In the meantime you can either...
So this might be Windows specific... @JoeKar could you take a look?
>(But whenever I installed it (micro -plugin install quoter) the plugin breaks my $MICRO_CONFIG_HOME/settings.json. After installing it, whenever I want to edit the settings.json directly micro says: The file on...
Probably yes, it's safe to just ignore it. But it's definitely worth fixing in micro, I believe.
https://github.com/zyedidia/micro/pull/3009 fixes it.
Having a dedicated json is just crazy, I think. We have enough crap already. I think the request #3391 is reasonable, we can try to implement an interactive version of...
`TryBindKey()` just returns a boolean result, it doesn't inform the user on its own. Also it doesn't distinguish the case of a conflicting keybinding of different plugins from the case...
> It returns a boolean and an error right? It can stay as it is if a keybinding already exists in `bindings.json`, but in the case of conflicting keybindings of...
> Should we still merge this? I'm inclined to think we shouldn't.