Neko-Box-Coder
commented
1 month ago So this happens when whatever is trying to bind/unbind a key, whether it is from the user or a plugin.
The same goes for settings. I guess it's alright it is coming from the user (using bind) but not quite so if it is from the plugin.
Having my keybindings/settings formatting and comments get removed completely is quite annoying and discouraging.
I think we should just do a string append ourselves instead. This should be relatively achievable. So here are the places where the jsons get write to so that I or someone can come back to later:
Description of the problem or steps to reproduce
micro keeps auto formatting
bindings.json, when there's a new binding needs to be added to the json (either from user or plugin). Resulting it removing all the comments and reordering everything. Making it difficult to keep track of modified keys.Specifications
Commit hash: 91765082 OS: Linux Terminal: WezTerm