fix: workaround for safari rendering bug (#5573)

ajaxorg · Jun 11, 2024 · f9a152f · f9a152f
1 parent 7cf2b06
commit f9a152f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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 = "";
+            }
         }
     }