From f46a70d793794c0fad1ad1d85b460bb1ab801b66 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Sun, 2 Jun 2024 16:29:11 +0100
Subject: [PATCH] re-enable scrollbar-color for non chrome browsers

---
 source/UI/css/theme.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source/UI/css/theme.css b/source/UI/css/theme.css
index 91427838..9f359b5e 100644
--- a/source/UI/css/theme.css
+++ b/source/UI/css/theme.css
@@ -1188,6 +1188,12 @@ Scrollbars
     background: -webkit-linear-gradient(left, $buttonActiveGradient);
 }
 
+@supports not selector(::-webkit-scrollbar) {
+  -body.$themeClass {
+      scrollbar-color: $bodyBorder $bodyBackground;
+  }
+}
+
 /*
 ================================================================================
 SourceViewer