Trigger a redraw when the window is shown

kelpsyberry · kelpsyberry · commit 4a1861e13ee9 · 2024-02-09T00:41:22.000+01:00
diff --git a/frontend/desktop/src/ui/window.rs b/frontend/desktop/src/ui/window.rs
@@ -772,6 +772,9 @@ impl Builder {
                     ..
                 } => {
                     window.is_occluded = is_occluded;
+                    if !is_occluded {
+                        window.window.request_redraw();
+                    }
                 }
 
                 Event::WindowEvent {

Original file line number	Diff line number	Diff line change
`@@ -772,6 +772,9 @@ impl Builder {`
`772`	`772`	`..`
`773`	`773`	`} => {`
`774`	`774`	`window.is_occluded = is_occluded;`
	`775`	`+ if !is_occluded {`
	`776`	`+ window.window.request_redraw();`
	`777`	`+ }`
`775`	`778`	`}`
`776`	`779`
`777`	`780`	`Event::WindowEvent {`