agent_ui: Make "add more agents" menu item take to extensions (#42098)
Now that agent servers are a thing, this is the primary and easiest way
to quickly add more agents to Zed, without touching any settings JSON
file. :)
Release Notes:
- N/A
a7163623e7Danilo Leal committed on 11/6/2025, 12:55:06 PM· committed by GitHubparentf080686