From 4f9322258659568ee2c049ca751aca8f27927194 Mon Sep 17 00:00:00 2001
From: Victoria Brekenfeld <victoria@system76.com>
Date: Mon, 23 Jan 2023 22:54:05 +0100
Subject: [PATCH] workspace: Render OR windows on top of fullscreen

---
 src/shell/workspace.rs | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/src/shell/workspace.rs b/src/shell/workspace.rs
index 8ff5304d..81d4c1fa 100644
--- a/src/shell/workspace.rs
+++ b/src/shell/workspace.rs
@@ -430,6 +430,28 @@ impl Workspace {
                     }),
             );
 
+            render_elements.extend(
+                override_redirect_windows
+                    .iter()
+                    .filter(|or| {
+                        or.above != Ordering::Below
+                            && or
+                                .surface
+                                .geometry()
+                                .intersection(output.geometry())
+                                .is_some()
+                    })
+                    .flat_map(|or| {
+                        AsRenderElements::<R>::render_elements::<WorkspaceRenderElement<R>>(
+                            &or.surface,
+                            renderer,
+                            (or.surface.geometry().loc - output.geometry().loc)
+                                .to_physical_precise_round(output_scale),
+                            Scale::from(output_scale),
+                        )
+                    }),
+            );
+
             // fullscreen window
             render_elements.extend(AsRenderElements::<R>::render_elements::<
                 WorkspaceRenderElement<R>,