microsoft / microsoft/terminal

Make the "hide profile from dropdown" profile setting more easily discoverable

Open
#19,731 3 comments 0 reactions 0 assignees View on GitHub
Area-SettingsUI Issue-Feature Product-Terminal
Dominant language
C++
Stars
105k
Forks
9.6k
Avg merge
3d 17h
Merged PRs (30d)
29

Description

### Description of the new feature

I rarely open my Windows Terminal settings, but when I do it's very frequently to edit what profiles are in the dropdown. Almost everytime I'm like scanning the profile settings looking for a "Show" option or "Enabled/Disabled" option. Eventually the lengthy "Hide profile from dropdown" catches my eye, but it always takes a while because it's at the bottom of all the other appearence options.

Mentally I consider that option as like one of the "main" options of not *the* main option, and I think it should be a little more easy to change at just a glance.

### Proposed technical implementation details

A few ideas, ideally could implement all of them:
- A clickable toggle button that switches between an Eye icon and a, placed either within the profile's sidebar row or next to the Profile Settings page title.
- Move the setting to the top of the settings list.
- Rename to just "Hide profile" so it can be more easily while skimming.
- (Way more work) Adding icons to all of the profile settings to aid skimming, this alone could help but doing the above three is better IMO.

Contributor guide

Open the contributing guide

Research direction

The issue names no files, tests, or entry points. Start by locating the profile settings UI and its existing “Hide profile from dropdown” control, then compare the proposed placement, label, and toggle behavior. Done means the setting is noticeably easier to find and the selected behavior works consistently.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
design, desktop
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.