A hidden profile is included in the default profile choice list in Settings #20749

Closed
opened 2026-01-31 07:23:00 +00:00 by claunia · 5 comments
Owner

Originally created by @olliefr on GitHub (Oct 30, 2023).

Windows Terminal version

1.18.2822.0

Windows build number

10.0.22621.0

Other Software

No response

Steps to reproduce

Do one of:

  • Enable Hide profile from dropdown in the profile's configuration UI.
  • Edit Terminal's JSON configuration file to set hidden to true for the selected profile.

Expected Behavior

  • The profile disappears from the list in the Terminal window heading.
  • The profile is not available for selection as the default one.

Actual Behavior

  • The profile disappears from the list in the Terminal window heading. This is OK.
  • But the profile is still available for selection in Settings, Startup, Default profile select box. Is this intentional?
Originally created by @olliefr on GitHub (Oct 30, 2023). ### Windows Terminal version 1.18.2822.0 ### Windows build number 10.0.22621.0 ### Other Software _No response_ ### Steps to reproduce Do one of: - Enable `Hide profile from dropdown` in the profile's configuration UI. - Edit Terminal's JSON configuration file to set `hidden` to `true` for the selected profile. ### Expected Behavior - The profile disappears from the list in the Terminal window heading. - The profile is not available for selection as the default one. ### Actual Behavior - The profile disappears from the list in the Terminal window heading. This is OK. - But the profile is still available for selection in Settings, Startup, Default profile select box. Is this intentional?
claunia added the Issue-BugResolution-Duplicate labels 2026-01-31 07:23:01 +00:00
Author
Owner

@olliefr commented on GitHub (Oct 30, 2023):

Adding some screenshots to support the textual description:

Screenshot: hide a profile

image

Screenshot: profile list in the title bar correctly displays only visible profiles

image

Screenshot: hidden profile still included in the default profile selection

image

@olliefr commented on GitHub (Oct 30, 2023): Adding some screenshots to support the textual description: <details> <summary>Screenshot: hide a profile</summary> ![image](https://github.com/microsoft/terminal/assets/967105/8f0f4f0c-a617-4183-a89c-2b76e35ec290) </details> <details> <summary>Screenshot: profile list in the title bar correctly displays only visible profiles</summary> ![image](https://github.com/microsoft/terminal/assets/967105/b2568c2d-5004-4618-9ceb-9b3ff28fd7e7) </details> <details> <summary>Screenshot: hidden profile still included in the default profile selection</summary> ![image](https://github.com/microsoft/terminal/assets/967105/3a9da50f-5f5f-4f70-9672-73b4a6a29c66) </details>
Author
Owner

@237dmitry commented on GitHub (Oct 30, 2023):

It would be interesting to know how to restore the visibility of a hidden profile if it is not in the settings? Should the user manually edit the settings.json file? The profile is hidden from the dropdown menu so that it does not interfere there.

In documentation this option was named Hide profile from dropdown

@237dmitry commented on GitHub (Oct 30, 2023): It would be interesting to know how to restore the visibility of a hidden profile if it is not in the settings? Should the user manually edit the settings.json file? The profile is hidden from the dropdown menu so that it does not interfere there. In [documentation](https://learn.microsoft.com/en-us/windows/terminal/customize-settings/profile-general) this option was named `Hide profile from dropdown`
Author
Owner

@carlos-zamora commented on GitHub (Nov 1, 2023):

Thanks for filing! We chatted about this as a team and here's some of the things that came out of it:

  • hidden is actually working as intended! Historically, it was used to remove dynamic profiles and hide profiles from the dropdown. With a bugfix to delete dynamic profiles and the "new tab dropdown customization" feature, those needs are already met in a better way. Today, "hidden" still affects the remainingProfiles entry in the "new tab dropdown customization" list, so it still has some value there.
  • With regards to the future of hidden, we want to deprecate it. However, a big hold up right now is that the "new tab dropdown customization" feature can only be done through the JSON. Once that goes into the settings UI, there really shouldn't be much of a reason to keep it around. We just need to actually design and implement the settings UI part. We're tracking that over in #8914.

Hope that answers your question and provides some insight on what's going on. I'm going to close this as a /dup of #8914 and make sure the deprecation for hidden is tracked over there.

@carlos-zamora commented on GitHub (Nov 1, 2023): Thanks for filing! We chatted about this as a team and here's some of the things that came out of it: - `hidden` is actually working as intended! Historically, it was used to remove dynamic profiles and hide profiles from the dropdown. With a bugfix to delete dynamic profiles and the "new tab dropdown customization" feature, those needs are already met in a better way. Today, "hidden" still affects the `remainingProfiles` entry in the "new tab dropdown customization" list, so it still has some value there. - With regards to the future of `hidden`, we want to deprecate it. However, a big hold up right now is that the "new tab dropdown customization" feature can only be done through the JSON. Once that goes into the settings UI, there really shouldn't be much of a reason to keep it around. We just need to actually design and implement the settings UI part. We're tracking that over in #8914. Hope that answers your question and provides some insight on what's going on. I'm going to close this as a /dup of #8914 and make sure the deprecation for `hidden` is tracked over there.
Author
Owner

@microsoft-github-policy-service[bot] commented on GitHub (Nov 1, 2023):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@microsoft-github-policy-service[bot] commented on GitHub (Nov 1, 2023): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report! <!-- Policy app identification https://img.shields.io/static/v1?label=PullRequestIssueManagement. -->
Author
Owner

@olliefr commented on GitHub (Nov 4, 2023):

Thank you for the detailed explanation and for this work, @carlos-zamora! The future looks bright, indeed 😊

@olliefr commented on GitHub (Nov 4, 2023): Thank you for the detailed explanation and for this work, @carlos-zamora! The future looks bright, indeed 😊
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#20749