diff --git a/.gitignore b/.gitignore index 8b9baca..42b0e83 100644 --- a/.gitignore +++ b/.gitignore @@ -49,3 +49,10 @@ apps/web/dist/ .DS_Store Thumbs.db /.stoneforge/.worktrees/ + +# Pi / agent cache +.pi/ +.atl/ +.sisyphus/ +.pi-lens/ + diff --git a/apps/web/src/pages/terminal.tsx b/apps/web/src/pages/terminal.tsx index a275dc6..20c1af6 100644 --- a/apps/web/src/pages/terminal.tsx +++ b/apps/web/src/pages/terminal.tsx @@ -190,10 +190,16 @@ export const TerminalPage: React.FC = () => { if (isMobile) { return ( -
+
{!isFullscreen && (
-

Terminal

@@ -245,9 +251,7 @@ export const TerminalPage: React.FC = () => { } return ( -
+
{!isFullscreen && (