profiles.json formatting lost on save #992

Open
opened 2026-01-30 22:13:19 +00:00 by claunia · 0 comments
Owner

Originally created by @thnk2wn on GitHub (May 11, 2019).

Code as of 6088134832

  • Your Windows build number: Microsoft Windows [Version 10.0.18362.86]

  • What you're doing and what's happening:

  1. Clicked the dropdown in the upper right corner
  2. Clicked Settings
  3. Code launched with profiles.json in a compact form
  4. Formatted the JSON so I could more easily read and edit it
  5. Saved the file
  6. File is immediately reloaded and put back into compact, unformatted form, making it difficult to edit again.
  • What's wrong / what should be happening instead:
  1. Expect formatting to persist after saving a change or if the app needs to modify it after detecting a change to at least format it with indentation / beautify / formatter
Originally created by @thnk2wn on GitHub (May 11, 2019). Code as of 6088134832b851c553af791ee17a9b5c0d808385 * Your Windows build number: Microsoft Windows [Version 10.0.18362.86] * What you're doing and what's happening: 1. Clicked the dropdown in the upper right corner 2. Clicked Settings 3. Code launched with profiles.json in a compact form 4. Formatted the JSON so I could more easily read and edit it 5. Saved the file 6. File is immediately reloaded and put back into compact, unformatted form, making it difficult to edit again. * What's wrong / what should be happening instead: 1. Expect formatting to persist after saving a change or if the app needs to modify it after detecting a change to at least format it with indentation / beautify / formatter
claunia added the Resolution-Duplicate label 2026-01-30 22:13:19 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#992