From 4aea9aa624aa9d14fe4c2ca99cbfb29dfb5b05bc Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Mon, 3 Apr 2023 10:20:53 -0400
Subject: [PATCH] Better folding arrows in CodeMirror editor

---
 src/css/codemirror.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index 8c4221bb3..12dbeb956 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -26,6 +26,12 @@
     font-size: large;
     text-shadow: none;
     }
+.CodeMirror-foldgutter-folded::after {
+    content: '\25B6';
+    }
+.CodeMirror-foldgutter-open::after {
+    content: '\25BC';
+    }
 .CodeMirror-gutters {
     background-color: var(--cm-gutter-surface);
     border-color: var(--cm-gutter-border);