From 18827db9ba7fc6ff849aad4e0c1678cfe6b1b9d0 Mon Sep 17 00:00:00 2001 From: Josh McCarty Date: Tue, 24 Oct 2023 03:59:14 -0700 Subject: [PATCH] Add bottom padding to code editor (#18368) --- src/resources/codemirror.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/resources/codemirror.ts b/src/resources/codemirror.ts index d3e69d2fae..b63a3d0be2 100644 --- a/src/resources/codemirror.ts +++ b/src/resources/codemirror.ts @@ -79,6 +79,7 @@ export const haTheme = EditorView.theme({ ".cm-content": { caretColor: "var(--secondary-text-color)", paddingTop: "16px", + paddingBottom: "16px", }, ".cm-panels": {