From f9a152fd925a8a16b10c65c909201100486c71e8 Mon Sep 17 00:00:00 2001
From: Harutyun Amirjanyan <amirjanyan@gmail.com>
Date: Tue, 11 Jun 2024 18:15:31 +0400
Subject: [PATCH] fix: workaround for safari rendering bug (#5573)

---
 src/virtual_renderer.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/virtual_renderer.js b/src/virtual_renderer.js
index 61249b67d2f..40d5a927cd6 100644
--- a/src/virtual_renderer.js
+++ b/src/virtual_renderer.js
@@ -1953,6 +1953,13 @@ class VirtualRenderer {
 
             _self._dispatchEvent('themeLoaded', {theme:module});
             cb && cb();
+
+            // workaround for safari not redrawing the editor
+            // https://github.com/ajaxorg/ace/issues/5569
+            if (useragent.isSafari && _self.scroller) {
+                _self.scroller.style.background = "red";
+                _self.scroller.style.background = "";
+            }
         }
     }