From e4b4401b707f5f3e1cec9bf362230aaa2cf187ef Mon Sep 17 00:00:00 2001 From: Jonatan Heyman Date: Mon, 16 Jun 2025 22:34:30 +0200 Subject: [PATCH] Styling of folded regions in the light theme --- src/editor/theme/light.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/editor/theme/light.js b/src/editor/theme/light.js index 5baf85e..1ed1d4d 100644 --- a/src/editor/theme/light.js +++ b/src/editor/theme/light.js @@ -43,6 +43,11 @@ const lightTheme = EditorView.theme({ ".cm-activeLine": { backgroundColor: "rgba(0,0,0, 0.04)", }, + '.cm-foldPlaceholder': { + backgroundColor: 'transparent', + border: 'none', + color: 'rgba(0,0,0, 0.5)' + }, ".cm-selectionBackground": { background: selectionBlur, },