From 5d08190e760d66db58a291f57a298ea56c6c78f9 Mon Sep 17 00:00:00 2001
From: Julian Orth <ju.orth@gmail.com>
Date: Tue, 6 May 2025 15:54:20 +0200
Subject: [PATCH] renderer: sync before rendering workspace highlight

---
 src/renderer.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/renderer.rs b/src/renderer.rs
index d49d0032..9b383fba 100644
--- a/src/renderer.rs
+++ b/src/renderer.rs
@@ -189,6 +189,7 @@ impl Renderer<'_> {
             if ws.render_highlight.get() > 0 {
                 let color = self.state.theme.colors.highlight.get();
                 let bounds = ws.position.get().at_point(x, y + th + 1);
+                self.base.ops.push(GfxApiOpt::Sync);
                 self.base.fill_boxes(&[bounds], &color, srgb);
             }
         }