From 34150f0836b1c52db66fd10ac565b02cc96602f5 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sat, 25 May 2019 21:19:42 +0200
Subject: [PATCH] WindowServer: Remove unused old "middle border" color.

---
 Servers/WindowServer/WSWindowFrame.cpp | 5 -----
 1 file changed, 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);