chore: no custom tool placeholder ui (#2222)

This commit is contained in:
Joel 2024-01-26 12:48:26 +08:00 • committed by GitHub
commit 60a2ecbd17
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 85 additions and 5 deletions

View file

@ -15,6 +15,7 @@ import ToolList from './tool-list'
import EditCustomToolModal from './edit-custom-collection-modal'
import NoCustomTool from './info/no-custom-tool'
import NoSearchRes from './info/no-search-res'
import NoCustomToolPlaceholder from './no-custom-tool-placeholder'
import TabSlider from '@/app/components/base/tab-slider'
import { createCustomCollection, fetchCollectionList as doFetchCollectionList, fetchBuiltInToolList, fetchCustomToolList } from '@/service/tools'
import type { AgentTool } from '@/types/app'
@ -216,6 +217,10 @@ const Tools: FC<Props> = ({
isLoading={isDetailLoading}
/>
)}
{collectionType === CollectionType.custom && hasNoCustomCollection && (
<NoCustomToolPlaceholder />
)}
</div>
</div>
</div>