From 8c6cacae66f2e930dafcbc5478908a9aadbf243b Mon Sep 17 00:00:00 2001 From: Oliver Date: Mon, 30 Jun 2025 13:14:37 +1000 Subject: [PATCH] Tweak expand icon for panels (#9905) - Better layout - Add tooltip - Add divider --- .../src/components/panels/PanelGroup.tsx | 32 +++++++++++-------- 1 file changed, 19 insertions(+), 13 deletions(-) diff --git a/src/frontend/src/components/panels/PanelGroup.tsx b/src/frontend/src/components/panels/PanelGroup.tsx index 4bf75e8235..ecb8432998 100644 --- a/src/frontend/src/components/panels/PanelGroup.tsx +++ b/src/frontend/src/components/panels/PanelGroup.tsx @@ -269,22 +269,28 @@ function BasePanelGroup({ )} ))} + {collapsible && } {collapsible && ( - setExpanded(!expanded)} - variant='transparent' - size='md' + - {expanded ? ( - - ) : ( - - )} - + setExpanded(!expanded)} + variant='transparent' + size='lg' + > + {expanded ? ( + + ) : ( + + )} + + {pluginPanelSet.isLoading && } )}