From 6d3dc302078d08784eaee5a9559c3be22cef37f0 Mon Sep 17 00:00:00 2001 From: Bruno Quaresma Date: Tue, 6 Jun 2023 11:08:07 -0300 Subject: [PATCH] refactor(site): Remove terminal padding and add border to bottom bar (#7871) --- site/src/pages/TerminalPage/TerminalPage.tsx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/site/src/pages/TerminalPage/TerminalPage.tsx b/site/src/pages/TerminalPage/TerminalPage.tsx index 7c3ccafb01..d49709aa3c 100644 --- a/site/src/pages/TerminalPage/TerminalPage.tsx +++ b/site/src/pages/TerminalPage/TerminalPage.tsx @@ -372,12 +372,13 @@ const BottomBar = ({ proxy, latency }: { proxy: Region; latency?: number }) => { return ( theme.spacing(2), + padding: (theme) => theme.spacing(1, 2), background: (theme) => theme.palette.background.paper, display: "flex", alignItems: "center", justifyContent: "flex-end", fontSize: 12, + borderTop: (theme) => `1px solid ${theme.palette.divider}`, }} > ({ terminal: { width: "100vw", overflow: "hidden", - padding: theme.spacing(1), backgroundColor: theme.palette.background.paper, flex: 1, // These styles attempt to mimic the VS Code scrollbar.