From 755961dc0a0a38150fdb21205993db1731392b54 Mon Sep 17 00:00:00 2001 From: Vehbi Sinan Tunalioglu Date: Thu, 25 Apr 2024 13:03:29 +0800 Subject: [PATCH] fix(website): fix host details panel heights Not ideal, but we can scroll sidebar and content areas separately now. --- website/src/components/report/App.tsx | 11 +++++++---- website/src/components/report/Sidebar.tsx | 2 +- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/website/src/components/report/App.tsx b/website/src/components/report/App.tsx index 833b7d1..71467dd 100644 --- a/website/src/components/report/App.tsx +++ b/website/src/components/report/App.tsx @@ -40,16 +40,19 @@ export function App({ data, onFlushRequest }: { data: HostPatrolReport; onFlushR - 1 + + + + @@ -76,12 +79,12 @@ export function TabShowHostDetails({ setHost: (x: Maybe) => void; }) { return ( -
-
+
+
setHost(Just(x))} />
-
+
{host.caseOf({ Nothing: () =>
Choose a host to view details.
, Just: (x) => , diff --git a/website/src/components/report/Sidebar.tsx b/website/src/components/report/Sidebar.tsx index 9858b11..a1f860f 100644 --- a/website/src/components/report/Sidebar.tsx +++ b/website/src/components/report/Sidebar.tsx @@ -10,7 +10,7 @@ export interface SidebarProps { export function Sidebar({ data, onHostSelect }: SidebarProps) { return ( - + {/* @ts-ignore */} {(host) => ( onHostSelect(host)}>