1 files changed, 7 insertions, 3 deletions
diff --git a/extension/react-app/src/pages/gui.tsx b/extension/react-app/src/pages/gui.tsx
index b8199c19..637896c6 100644
--- a/extension/react-app/src/pages/gui.tsx
+++ b/extension/react-app/src/pages/gui.tsx
@@ -1,5 +1,5 @@
 import styled from "styled-components";
-import { TextInput, defaultBorderRadius, lightGray } from "../components";
+import { Input, defaultBorderRadius, lightGray, vscBackground } from "../components";
 import { FullState } from "../../../schema/FullState";
 import {
   useEffect,
@@ -58,7 +58,7 @@ const TopGuiDiv = styled.div`
   }
 `;
 
-const TitleTextInput = styled(TextInput)`
+const TitleTextInput = styled(Input)`
   border: none;
   outline: none;
 
@@ -109,6 +109,10 @@ const GUIHeaderDiv = styled.div`
   padding-left: 8px;
   padding-right: 8px;
   border-bottom: 0.5px solid ${lightGray};
+  position: sticky;
+  top: 0;
+  z-index: 100;
+  background-color: ${vscBackground};
 `;
 
 interface GUIProps {
@@ -480,7 +484,7 @@ function GUI(props: GUIProps) {
   useEffect(() => {
     const timeout = setTimeout(() => {
       setShowLoading(true);
-    }, 10000);
+    }, 15_000);
 
     return () => {
       clearTimeout(timeout);