mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
Minor UI fix to explorer tree (#3328)
Co-authored-by: Tim O'Farrell <tofarr@gmai.com> Co-authored-by: Graham Neubig <neubig@gmail.com>
This commit is contained in:
parent
e059407c74
commit
ace733cb1f
@ -18,7 +18,7 @@ function ExplorerTree({ files, defaultOpen = false }: ExplorerTreeProps) {
|
||||
);
|
||||
}
|
||||
return (
|
||||
<div className="w-full overflow-x-auto h-full pt-[4px]">
|
||||
<div className="w-full h-full pt-[4px]">
|
||||
{files.map((file) => (
|
||||
<TreeNode key={file} path={file} defaultOpen={defaultOpen} />
|
||||
))}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user