Merge branch 'main' into max/default-tool-json

This commit is contained in:
Cliff Hall 2025-04-14 16:15:27 -04:00 • committed by GitHub
commit 33aad8a271
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -146,7 +146,7 @@ const ToolsTab = ({
/>
<div className="bg-card rounded-lg shadow">
<div className="p-4 border-b border-gray-200">
<div className="p-4 border-b border-gray-200 dark:border-gray-800">
<h3 className="font-semibold">
{selectedTool ? selectedTool.name : "Select a tool"}
</h3>