From ebb68146bcdb51121b622e07941474773bad035f Mon Sep 17 00:00:00 2001 From: bkellam Date: Sat, 24 Aug 2024 22:09:31 -0700 Subject: [PATCH] fix header on top of screen --- src/app/page.tsx | 58 +++++++++++++++++++++++++----------------------- 1 file changed, 30 insertions(+), 28 deletions(-) diff --git a/src/app/page.tsx b/src/app/page.tsx index 7f63704f..2dd2dbee 100644 --- a/src/app/page.tsx +++ b/src/app/page.tsx @@ -58,36 +58,38 @@ export default function Home() { // Currently we do not re-query. return ( -
-
- {"Sourcebot - setQuery(query)} - onLoadingChange={(isLoading) => setIsLoading(isLoading)} - onSearchResult={(result) => { - if (result) { - setFileMatches(result.FileMatches ?? []); - setSearchDurationMs(Math.round(result.Stats.Duration / 1000000)); - } +
+
+
+ {"Sourcebot + setQuery(query)} + onLoadingChange={(isLoading) => setIsLoading(isLoading)} + onSearchResult={(result) => { + if (result) { + setFileMatches(result.FileMatches ?? []); + setSearchDurationMs(Math.round(result.Stats.Duration / 1000000)); + } - router.push(`?query=${query}&numResults=${numResults}`); - }} - /> - {isLoading && ( - - )} + router.push(`?query=${query}&numResults=${numResults}`); + }} + /> + {isLoading && ( + + )} +
+ +
+

Results for: {fileMatches.length} files in {searchDurationMs} ms

+
+
- -
-

Results for: {fileMatches.length} files in {searchDurationMs} ms

-
-
{fileMatches.map((match, index) => (