From 1586bc99e386739f5cf0fbbf826bc3e0f2573d6f Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Sun, 20 Jan 2019 08:37:24 +0100 Subject: [PATCH] WSWindowManager: Add an invalidation and a FIXME. --- WindowServer/WSWindowManager.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/WindowServer/WSWindowManager.cpp b/WindowServer/WSWindowManager.cpp index 008f301069..182bc2a0be 100644 --- a/WindowServer/WSWindowManager.cpp +++ b/WindowServer/WSWindowManager.cpp @@ -195,6 +195,7 @@ void WSWindowManager::move_to_front(WSWindow& window) LOCKER(m_lock); m_windows_in_order.remove(&window); m_windows_in_order.append(&window); + invalidate(window); } void WSWindowManager::remove_window(WSWindow& window) @@ -445,6 +446,7 @@ void WSWindowManager::invalidate(const WSWindow& window, const Rect& rect) auto outer_rect = outer_window_rect(window.rect()); auto inner_rect = rect; inner_rect.move_by(window.position()); + // FIXME: This seems slightly wrong; the inner rect shouldn't intersect the border part of the outer rect. inner_rect.intersect(outer_rect); invalidate(inner_rect); }