diff options
author | Andreas Kling <awesomekling@gmail.com> | 2019-05-25 21:19:42 +0200 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-05-25 21:19:42 +0200 |
commit | 34150f0836b1c52db66fd10ac565b02cc96602f5 (patch) | |
tree | 6c84bf67210132afe8eb225f984351e3c73656c9 | |
parent | cca510162ed3c1f720f0d2ef11849ab755d25484 (diff) | |
download | serenity-34150f0836b1c52db66fd10ac565b02cc96602f5.zip |
WindowServer: Remove unused old "middle border" color.
-rw-r--r-- | Servers/WindowServer/WSWindowFrame.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Servers/WindowServer/WSWindowFrame.cpp b/Servers/WindowServer/WSWindowFrame.cpp index 7a3c3ccee7..3db01945c0 100644 --- a/Servers/WindowServer/WSWindowFrame.cpp +++ b/Servers/WindowServer/WSWindowFrame.cpp @@ -169,7 +169,6 @@ void WSWindowFrame::paint(Painter& painter) Color title_color; Color border_color; Color border_color2; - Color middle_border_color; auto& wm = WSWindowManager::the(); @@ -177,22 +176,18 @@ void WSWindowFrame::paint(Painter& painter) border_color = wm.m_highlight_window_border_color; border_color2 = wm.m_highlight_window_border_color2; title_color = wm.m_highlight_window_title_color; - middle_border_color = Color::White; } else if (&window == wm.m_drag_window) { border_color = wm.m_dragging_window_border_color; border_color2 = wm.m_dragging_window_border_color2; title_color = wm.m_dragging_window_title_color; - middle_border_color = Color::from_rgb(0xf9b36a); } else if (&window == wm.m_active_window) { border_color = wm.m_active_window_border_color; border_color2 = wm.m_active_window_border_color2; title_color = wm.m_active_window_title_color; - middle_border_color = Color::from_rgb(0x8f673d); } else { border_color = wm.m_inactive_window_border_color; border_color2 = wm.m_inactive_window_border_color2; title_color = wm.m_inactive_window_title_color; - middle_border_color = Color::MidGray; } StylePainter::paint_window_frame(painter, outer_rect); |