WindowServer: Update desktop window rect on resolution change

Fixes #2073.
This commit is contained in:
Linus Groh 2020-05-02 22:20:37 +01:00 committed by Andreas Kling
parent 58a34fbe09
commit 751f813f6a
Notes: sideshowbarker 2024-07-19 07:01:54 +09:00

View file

@ -142,6 +142,8 @@ bool WindowManager::set_resolution(int width, int height)
}); });
if (success) { if (success) {
for_each_window([](Window& window) { for_each_window([](Window& window) {
if (window.type() == WindowType::Desktop)
window.set_rect(WindowManager::the().desktop_rect());
window.recalculate_rect(); window.recalculate_rect();
return IterationDecision::Continue; return IterationDecision::Continue;
}); });