From 2822b1035fe648f4d571c80f23d2729641c65317 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Thu, 30 Apr 2020 21:36:35 +0200 Subject: [PATCH] WindowServer: Fix some pixels in menus after window border changes --- Servers/WindowServer/Menu.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Servers/WindowServer/Menu.cpp b/Servers/WindowServer/Menu.cpp index cb38736e953..07c460b9b24 100644 --- a/Servers/WindowServer/Menu.cpp +++ b/Servers/WindowServer/Menu.cpp @@ -187,8 +187,8 @@ void Menu::draw() Gfx::Painter painter(*menu_window()->backing_store()); Gfx::Rect rect { {}, menu_window()->size() }; - painter.fill_rect(rect.shrunken(6, 6), palette.menu_base()); Gfx::StylePainter::paint_window_frame(painter, rect, palette); + painter.fill_rect(rect.shrunken(6, 6), palette.menu_base()); int width = this->content_width(); if (!s_checked_bitmap)