[PR #19225] Clear Name, Source, and Commandline from Profiles.Defaults #31755

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

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

State: closed
Merged: Yes


The Name, Source, and Commandline profile settings should not be allowed to be set on the Profiles.Defaults object. This just enforces that by clearing them (as is done with Guid).

These profile settings are omitted from the settings UI's profile defaults page.

Closes #19202

**Original Pull Request:** https://github.com/microsoft/terminal/pull/19225 **State:** closed **Merged:** Yes --- The Name, Source, and Commandline profile settings should not be allowed to be set on the Profiles.Defaults object. This just enforces that by clearing them (as is done with Guid). These profile settings are omitted from the settings UI's profile defaults page. Closes #19202
claunia added the pull-request label 2026-01-31 09:49:20 +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#31755