608a49e817
Re-enables the delete button for generated profiles in the settings UI.
Additionally fixes "Startup Profiles" to only list active profiles.
Profiles are considered deleted if they're absent from settings.json, but their
GUID has been encountered before. Or in other words, from a user's perspective:
Generated profiles are added to the settings.json automatically only once.
Thus if the user chooses to delete the profile (e.g. using the delete button)
they aren't re-added automatically and thus appear to have been deleted.
Meanwhile those generated profiles are actually only marked as "hidden"
as well as "deleted", but still exist in internal profile lists.
The "hidden" attribute hides them from all existing menus. The "deleted" one
hides them from the settings UI and prevents them from being written to disk.
It would've been preferrable of course to just not generate and
add deleted profile to internal profile lists in the first place.
But this would've required far more wide-reaching changes.
The settings UI for instance requires a list of _all_ profiles in order to
allow a user to re-create previously deleted profiles. Such an approach was
attempted but discarded because of it's current complexity overhead.
## References
* Part of #9997
* A sequel to 5d36e5d
## PR Checklist
* [x] Closes #10960
* [x] I work here
* [x] Tests added/passed
## Validation Steps Performed
* "Startup Profiles" doesn't list deleted profiles ✔️
* Manually removing an item from settings.json removes the profile ✔️
* Removing cmd.exe and saving doesn't create empty objects (#10960) ✔️
* "Add a new profile" lists deleted profiles ✔️
* "Duplicate" recreates previously deleted profiles ✔️
* Profiles are always created with GUIDs ✔️
30 lines
1,001 B
Plaintext
30 lines
1,001 B
Plaintext
// Copyright (c) Microsoft Corporation.
|
|
// Licensed under the MIT license.
|
|
|
|
import "EnumEntry.idl";
|
|
|
|
namespace Microsoft.Terminal.Settings.Editor
|
|
{
|
|
runtimeclass LaunchPageNavigationState
|
|
{
|
|
Microsoft.Terminal.Settings.Model.CascadiaSettings Settings;
|
|
};
|
|
|
|
[default_interface] runtimeclass Launch : Windows.UI.Xaml.Controls.Page
|
|
{
|
|
Launch();
|
|
LaunchPageNavigationState State { get; };
|
|
|
|
IInspectable CurrentDefaultProfile;
|
|
// I wish this was a IObservableVector<Microsoft.Terminal.Settings.Model.Profile>, but:
|
|
// https://github.com/microsoft/microsoft-ui-xaml/issues/5395
|
|
IObservableVector<IInspectable> DefaultProfiles { get; };
|
|
|
|
IInspectable CurrentLaunchMode;
|
|
IObservableVector<Microsoft.Terminal.Settings.Editor.EnumEntry> LaunchModeList { get; };
|
|
|
|
IInspectable CurrentWindowingBehavior;
|
|
IObservableVector<Microsoft.Terminal.Settings.Editor.EnumEntry> WindowingBehaviorList { get; };
|
|
}
|
|
}
|