Mirrors/open-webui
1
0
Fork 0
mirror of https://github.com/open-webui/open-webui.git synced 2025-12-16 11:57:51 +01:00
Code Issues Packages Projects Releases Wiki Activity

refac: search

Browse Source
This commit is contained in:
Timothy J. Baek
2024-06-10 21:55:34 -07:00
parent 4601a0246f
commit dd7ac4c53a
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/components/workspace/Tools.svelte
View File

@@ -72,7 +72,9 @@
<hr class=" dark:border-gray-850 my-2.5" /> <hr class=" dark:border-gray-850 my-2.5" />
<div class="my-3 mb-5"> <div class="my-3 mb-5">
{#each $tools.filter((t) => query === '' || t.name.includes(query)) as tool} {#each $tools.filter((t) => query === '' || t.name
.toLowerCase()
.includes(query.toLowerCase()) || t.id.toLowerCase().includes(query.toLowerCase())) as tool}
<div <div
class=" flex space-x-4 cursor-pointer w-full px-3 py-2 dark:hover:bg-white/5 hover:bg-black/5 rounded-xl" class=" flex space-x-4 cursor-pointer w-full px-3 py-2 dark:hover:bg-white/5 hover:bg-black/5 rounded-xl"
> >