agent: Refresh the profile selector and modal design (#29816)

- [x] Separate MCP servers from tools in the profile customization modal
view
- [x] Group MCP tools in the MCP picker and add a heading
- [x] Separate bult-in profiles from custom ones in the dropdown
selector
- [x] Separate bult-in profiles from custom ones in the modal
- [ ] Enable looping through items via keybinding without opening the
dropdown (will be done on a follow-up PR)
- [ ] Stretch: Focus on the currently active item upon opening the
dropdown (will be done on a follow-up PR)

Release Notes:

- N/A

---------

Co-authored-by: Bennet Bo Fenner <53836821+bennetbo@users.noreply.github.com>
Co-authored-by: Bennet Bo Fenner <bennetbo@gmx.de>
Co-authored-by: Bennet Bo Fenner <bennet@zed.dev>
This commit is contained in:
Danilo Leal 2025-05-02 20:34:36 -03:00 committed by GitHub
parent 1877fce609
commit 5053562e28
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
11 changed files with 635 additions and 273 deletions

View file

@ -158,6 +158,7 @@ pub enum IconName {
Maximize,
Menu,
MenuAlt,
MessageBubbleDashed,
MessageBubbles,
Mic,
MicMute,
@ -194,6 +195,7 @@ pub enum IconName {
RotateCw,
Route,
Save,
Scissors,
Screen,
SearchCode,
SearchSelection,