Danilo Leal 8467a3dbd6 agent_ui: Allow to uninstall agent servers from the settings view (#42445) ...

This PR also adds items within the "Add Agent" menu to:
1. Add more agent servers from extensions, opening up the extensions
page with "Agent Servers" already filtered
2. Go to the agent server + ACP docs to learn more about them

I feel like having them there is a nice way to promote this knowledge
from within the product and have users learn more about them.

<img width="500" height="540" alt="Screenshot 2025-11-11 at 10  46 3@2x"
src="https://github.com/user-attachments/assets/9449df2e-1568-44d8-83ca-87cbb9eefdd2"
/>

Release Notes:

- agent: Enabled uninstalled agent servers from the agent panel's
settings view.

2025-11-11 12:47:08 -03:00

..

proxy

ci: Update typos versions and fix new occurrences (#40784)

2025-10-21 10:43:22 +00:00

telemetry

Use Instant not chrono for telemetry (#20756)

2024-11-19 08:23:12 -07:00

client.rs

Use cloud for auto-update (#42246)

2025-11-10 23:00:55 -07:00

proxy.rs

Revert "client: Fix an issue where non-IP proxy URLs didn’t resolve c… (#33013)

2025-06-19 08:56:00 +00:00

telemetry.rs

Add an event_source to events (#42125)

2025-11-10 21:32:09 -07:00

test.rs

Make plans backwards compatible (#37941)

2025-09-10 20:11:07 +00:00

user.rs

clock: Cleanup ReplicaId, Lamport and Global (#40600)

2025-10-20 13:26:20 +02:00

zed_urls.rs

agent_ui: Allow to uninstall agent servers from the settings view (#42445)

2025-11-11 12:47:08 -03:00