| gio | 5f2f100 | 2025-03-20 18:38:48 +0400 | [diff] [blame] | 1 | import { Badge } from "./components/ui/badge"; |
| 2 | import { Tabs, TabsContent, TabsList, TabsTrigger } from "./components/ui/tabs"; |
| gio | b77cb93 | 2025-05-19 09:37:14 +0000 | [diff] [blame] | 3 | import { Gateways } from "./Gateways"; |
| gio | 5f2f100 | 2025-03-20 18:38:48 +0400 | [diff] [blame] | 4 | import { useEnv, useMessages } from "./lib/state"; |
| 5 | import { Messages } from "./Messages"; |
| 6 | |
| 7 | export function Tools() { |
| gio | d002661 | 2025-05-08 13:00:36 +0000 | [diff] [blame] | 8 | const messages = useMessages(); |
| 9 | const env = useEnv(); |
| 10 | return ( |
| gio | 8cadbc7 | 2025-05-16 07:51:02 +0000 | [diff] [blame] | 11 | <Tabs defaultValue="messages" className="h-full flex-1 flex flex-col bg-muted"> |
| 12 | <TabsList className="!justify-start !rounded-none"> |
| gio | d002661 | 2025-05-08 13:00:36 +0000 | [diff] [blame] | 13 | <TabsTrigger value="messages" className="space-x-2"> |
| 14 | <div>Messages</div> |
| gio | da12043 | 2025-06-02 09:42:26 +0000 | [diff] [blame^] | 15 | <Badge className="h-5 min-w-5 rounded-full px-2 font-mono tabular-nums">{messages.length}</Badge> |
| gio | d002661 | 2025-05-08 13:00:36 +0000 | [diff] [blame] | 16 | </TabsTrigger> |
| gio | 05a993c | 2025-05-19 11:51:33 +0000 | [diff] [blame] | 17 | <TabsTrigger value="gateways" className="space-x-2"> |
| 18 | <div>Gateways</div> |
| gio | da12043 | 2025-06-02 09:42:26 +0000 | [diff] [blame^] | 19 | <Badge className="h-5 min-w-5 rounded-full px-2 font-mono tabular-nums">{env.access.length}</Badge> |
| gio | 05a993c | 2025-05-19 11:51:33 +0000 | [diff] [blame] | 20 | </TabsTrigger> |
| gio | d002661 | 2025-05-08 13:00:36 +0000 | [diff] [blame] | 21 | <TabsTrigger value="deployKeys">Deploy keys</TabsTrigger> |
| 22 | </TabsList> |
| gio | 8cadbc7 | 2025-05-16 07:51:02 +0000 | [diff] [blame] | 23 | <div className="!overflow-y-auto p-1"> |
| 24 | <TabsContent value="messages"> |
| 25 | <Messages /> |
| 26 | </TabsContent> |
| gio | b77cb93 | 2025-05-19 09:37:14 +0000 | [diff] [blame] | 27 | <TabsContent value="gateways"> |
| 28 | <Gateways /> |
| gio | 8cadbc7 | 2025-05-16 07:51:02 +0000 | [diff] [blame] | 29 | </TabsContent> |
| gio | a71316d | 2025-05-24 09:41:36 +0400 | [diff] [blame] | 30 | <TabsContent value="deployKeys">{env.deployKeyPublic && <>{env.deployKeyPublic}</>}</TabsContent> |
| gio | 8cadbc7 | 2025-05-16 07:51:02 +0000 | [diff] [blame] | 31 | </div> |
| gio | d002661 | 2025-05-08 13:00:36 +0000 | [diff] [blame] | 32 | </Tabs> |
| 33 | ); |
| 34 | } |