WindowServer: Remove unused WindowManager::draw_window_switcher()

This commit is contained in:
Andreas Kling 2020-02-11 18:55:16 +01:00
parent 0f00e9a1c7
commit cfa6e44131
Notes: sideshowbarker 2024-07-19 09:26:13 +09:00
3 changed files with 1 additions and 10 deletions

View File

@ -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&>(event).is_mouse_event()) {

View File

@ -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;

View File

@ -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;