Option to add divider in profile menu #8799

Open
opened 2026-01-31 01:38:17 +00:00 by claunia · 0 comments
Owner

Originally created by @mcornille on GitHub (Jun 4, 2020).

Description of the new feature/enhancement

In the dropdown menu with all the profiles it would be nice to have an option to add a divider.
For the moment my list with remote and local profiles is growing and it would be nice to add divider so its easier to find the profile you need.

My Workaround for the moment is just creating a dummy profile with the name (-----------)
that creates a devider but it would be nice to just use a tag that puts a line in your profile list.

As lists and possibilities in the profiles are growing it would be a nice way to device your list so its easier to search for that one profile you need.

Proposed technical implementation details (optional)

Originally created by @mcornille on GitHub (Jun 4, 2020). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> # Description of the new feature/enhancement In the dropdown menu with all the profiles it would be nice to have an option to add a divider. For the moment my list with remote and local profiles is growing and it would be nice to add divider so its easier to find the profile you need. My Workaround for the moment is just creating a dummy profile with the name (-----------) that creates a devider but it would be nice to just use a tag that puts a line in your profile list. <!-- A clear and concise description of what the problem is that the new feature would solve. Describe why and how a user would use this new functionality (if applicable). --> As lists and possibilities in the profiles are growing it would be a nice way to device your list so its easier to search for that one profile you need. # Proposed technical implementation details (optional) <!-- A clear and concise description of what you want to happen. -->
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 01:38:17 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#8799