From cfa6e44131422b6da11faf31963335b91b7d0009 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Tue, 11 Feb 2020 18:55:16 +0100 Subject: [PATCH] WindowServer: Remove unused WindowManager::draw_window_switcher() --- Servers/WindowServer/WindowManager.cpp | 6 ------ Servers/WindowServer/WindowManager.h | 2 -- Servers/WindowServer/WindowSwitcher.h | 3 +-- 3 files changed, 1 insertion(+), 10 deletions(-) diff --git a/Servers/WindowServer/WindowManager.cpp b/Servers/WindowServer/WindowManager.cpp index e149e8a762..220251c905 100644 --- a/Servers/WindowServer/WindowManager.cpp +++ b/Servers/WindowServer/WindowManager.cpp @@ -942,12 +942,6 @@ Gfx::Rect WindowManager::menubar_rect() const return MenuManager::the().menubar_rect(); } -void WindowManager::draw_window_switcher() -{ - if (m_switcher.is_visible()) - m_switcher.draw(); -} - void WindowManager::event(Core::Event& event) { if (static_cast(event).is_mouse_event()) { diff --git a/Servers/WindowServer/WindowManager.h b/Servers/WindowServer/WindowManager.h index e40a008a2d..c1567cb96f 100644 --- a/Servers/WindowServer/WindowManager.h +++ b/Servers/WindowServer/WindowManager.h @@ -118,8 +118,6 @@ public: void move_to_front_and_make_active(Window&); - void draw_window_switcher(); - Gfx::Rect menubar_rect() const; const Cursor& active_cursor() const; diff --git a/Servers/WindowServer/WindowSwitcher.h b/Servers/WindowServer/WindowSwitcher.h index 5b01ca67f9..77912831b0 100644 --- a/Servers/WindowServer/WindowSwitcher.h +++ b/Servers/WindowServer/WindowSwitcher.h @@ -59,8 +59,6 @@ public: void refresh(); void refresh_if_needed(); - void draw(); - int thumbnail_width() const { return 40; } int thumbnail_height() const { return 40; } @@ -75,6 +73,7 @@ public: Window* switcher_window() { return m_switcher_window.ptr(); } private: + void draw(); void redraw(); void select_window_at_index(int index); Gfx::Rect item_rect(int index) const;