-
Notifications
You must be signed in to change notification settings - Fork 8.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Settings UI removes comments in settings.json #9167
Comments
There is a discussion about similar problems here: #8991. |
Good link, I tried to find a related issue before. My "removing comments" issue isn't addressed in the original issue though. |
/dup #8991 these are all part of the same umbrella of issues -- we don't have good "in-place" editing for the settings file. thanks for bringing this up! (We re-serialize the entire document, but since the settings UI doesn't support key bindings we just move that part of the serialization tree over from the original... this is why comments remain with bindings but nothing else.) |
Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report! |
Environment
Steps to reproduce
Open the settings UI
settingsUI
, make some changes, saveExpected behavior
I would assume that the
settings.json
is just changed with new values. Whatever is changed is written.Actual behavior
It seems that the settings are completely rewritten by the
settingsUI
- meaning my order of things in the json is completely gone and more importantly some comments are gone. I'm playing around with different fonts for example and the section looked like this:After saving with the settings UI, the commented out
fontFace
is gone. The same behavior I observed forcolorScheme
within the list of profiles. Other comments are still there (e.g. in thekeybindings
section)The text was updated successfully, but these errors were encountered: