mirror of
https://github.com/microsoft/terminal.git
synced 2025-12-11 13:56:33 -06:00
Don't allow orphaned profiles to show up in the Default list (#18207)
This commit is contained in:
parent
84d6b0fba0
commit
a607029f07
@ -332,7 +332,7 @@ namespace winrt::Microsoft::Terminal::Settings::Editor::implementation
|
|||||||
// from menus, but still work as the startup profile for instance.
|
// from menus, but still work as the startup profile for instance.
|
||||||
for (const auto& profile : allProfiles)
|
for (const auto& profile : allProfiles)
|
||||||
{
|
{
|
||||||
if (!profile.Deleted())
|
if (!profile.Deleted() && !profile.Orphaned())
|
||||||
{
|
{
|
||||||
profiles.emplace_back(profile);
|
profiles.emplace_back(profile);
|
||||||
}
|
}
|
||||||
|
|||||||
@ -84,7 +84,7 @@ namespace Microsoft.Terminal.Settings.Editor
|
|||||||
void CreateUnfocusedAppearance();
|
void CreateUnfocusedAppearance();
|
||||||
void DeleteUnfocusedAppearance();
|
void DeleteUnfocusedAppearance();
|
||||||
|
|
||||||
Boolean Orphaned { get; };
|
Boolean Orphaned { get; };
|
||||||
OBSERVABLE_PROJECTED_PROFILE_SETTING(String, Name);
|
OBSERVABLE_PROJECTED_PROFILE_SETTING(String, Name);
|
||||||
PERMANENT_OBSERVABLE_PROJECTED_SETTING(Guid, Guid);
|
PERMANENT_OBSERVABLE_PROJECTED_SETTING(Guid, Guid);
|
||||||
OBSERVABLE_PROJECTED_PROFILE_SETTING(String, Source);
|
OBSERVABLE_PROJECTED_PROFILE_SETTING(String, Source);
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user