From 52c76aa9bfc6e6efcf84f9e98b9ba9148e112056 Mon Sep 17 00:00:00 2001 From: Shannon Booth Date: Tue, 18 Feb 2020 19:08:05 +1300 Subject: [PATCH] WindowServer: Remove unsued MenuManager::menu_selection_color() --- Servers/WindowServer/MenuManager.h | 3 --- 1 file changed, 3 deletions(-) diff --git a/Servers/WindowServer/MenuManager.h b/Servers/WindowServer/MenuManager.h index eca2e9eca6..9667692899 100644 --- a/Servers/WindowServer/MenuManager.h +++ b/Servers/WindowServer/MenuManager.h @@ -78,7 +78,6 @@ public: Menu* system_menu() { return m_system_menu; } void set_system_menu(Menu&); - Color menu_selection_color() const { return m_menu_selection_color; } int theme_index() const { return m_theme_index; } Window& window() { return *m_window; } @@ -120,8 +119,6 @@ private: bool m_needs_window_resize { false }; bool m_bar_open { false }; - Color m_menu_selection_color; - int m_theme_index { 0 }; WeakPtr m_current_menubar;