[PR #10877] Don't create settings.json when it was removed #28279

Open
opened 2026-01-31 09:27:28 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/10877

State: closed
Merged: No


⚠️ crazy 4am idea ⚠️
👉 Open for discussion

Stop recreating settings.json if it's removed.
This improves UX, because users don't accidentally loose their settings anymore
and removes a source of crashes in the SUI. Our WinUI NavigationView crashes
if its MenuItems array is modified while a transition is ongoing.
The crash in particular occurs reliably if the settings are deleted.

PR Checklist

  • I work here
  • Tests added/passed

Validation Steps Performed

  • Removing settings.json doesn't cause it to be created ✔️
**Original Pull Request:** https://github.com/microsoft/terminal/pull/10877 **State:** closed **Merged:** No --- ⚠️ crazy 4am idea ⚠️ 👉 Open for discussion Stop recreating settings.json if it's removed. This improves UX, because users don't accidentally loose their settings anymore and removes a source of crashes in the SUI. Our WinUI NavigationView crashes if its MenuItems array is modified while a transition is ongoing. The crash in particular occurs reliably if the settings are deleted. <!-- Please review the items on the PR checklist before submitting--> ## PR Checklist * [x] I work here * [ ] Tests added/passed ## Validation Steps Performed * Removing settings.json doesn't cause it to be created ✔️
claunia added the pull-request label 2026-01-31 09:27:28 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#28279