mirror of
https://github.com/encounter/zed.git
synced 2026-03-30 11:44:33 -07:00
07b67c1bd3
This PR adds an option to enable/disable all tools from a specific context server: <img width="1297" alt="Screenshot 2025-03-12 at 5 55 45 PM" src="https://github.com/user-attachments/assets/af6c169e-0462-4a99-9bec-48fbf83dd08a" /> Release Notes: - N/A