You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Neko-Box-Coder
changed the title
Disable micro auto formatting bindings.json
Disable micro auto formatting bindings.json when adding new bindings
May 19, 2024
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: 9176508
OS: Linux
Terminal: WezTerm
The text was updated successfully, but these errors were encountered: