From 9053027dc0504e2fd2d97c887d8ccdd739dfdb27 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Sun, 13 Jan 2019 07:23:07 +0100 Subject: [PATCH] Flush the old and new cursor rects in a single rect. --- Widgets/WindowManager.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Widgets/WindowManager.cpp b/Widgets/WindowManager.cpp index afcb175cc20..f45007d9947 100644 --- a/Widgets/WindowManager.cpp +++ b/Widgets/WindowManager.cpp @@ -306,8 +306,7 @@ void WindowManager::redraw_cursor() auto cursor_location = m_framebuffer.cursor_location(); Painter painter(*m_front_bitmap); Rect cursor_rect { cursor_location.x(), cursor_location.y(), (int)m_cursor_bitmap_inner->width(), (int)m_cursor_bitmap_inner->height() }; - flush(m_last_cursor_rect); - flush(cursor_rect); + flush(m_last_cursor_rect.united(cursor_rect)); Color inner_color = Color::White; Color outer_color = Color::Black; if (m_framebuffer.left_mouse_button_pressed())