From 751f813f6a75befa324d1a2ad7b89f4d27081c05 Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Sat, 2 May 2020 22:20:37 +0100
Subject: [PATCH] WindowServer: Update desktop window rect on resolution change

Fixes #2073.
---
 Servers/WindowServer/WindowManager.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Servers/WindowServer/WindowManager.cpp b/Servers/WindowServer/WindowManager.cpp
index 7503a637e5..2b168107d1 100644
--- a/Servers/WindowServer/WindowManager.cpp
+++ b/Servers/WindowServer/WindowManager.cpp
@@ -142,6 +142,8 @@ bool WindowManager::set_resolution(int width, int height)
     });
     if (success) {
         for_each_window([](Window& window) {
+            if (window.type() == WindowType::Desktop)
+                window.set_rect(WindowManager::the().desktop_rect());
             window.recalculate_rect();
             return IterationDecision::Continue;
         });