From ad62172a801dd1f00716ef39239f5f7f4006d7e6 Mon Sep 17 00:00:00 2001
From: Leopold Luley <git@leopoldluley.de>
Date: Fri, 24 Apr 2020 20:55:15 +0200
Subject: [PATCH] Add temporary workaround for flickering on Windows.

See #875 for details.
---
 druid-shell/src/platform/windows/window.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/druid-shell/src/platform/windows/window.rs b/druid-shell/src/platform/windows/window.rs
index d2d9c3a889..c27ee0f9d4 100644
--- a/druid-shell/src/platform/windows/window.rs
+++ b/druid-shell/src/platform/windows/window.rs
@@ -1200,6 +1200,9 @@ impl WindowHandle {
     }
 
     pub fn invalidate_rect(&self, rect: Rect) {
+        // FIXME: This is a temporary workaround for #875
+        self.invalidate();
+
         let r = self.px_to_rect(rect);
         if let Some(w) = self.state.upgrade() {
             let hwnd = w.hwnd.get();