From 193d7c5b19083a88f7fd077fcc87fd939573b49e Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Tue, 11 Feb 2020 18:56:31 +0100 Subject: [PATCH] WindowServer: Make some WindowSwitcher members private --- Servers/WindowServer/WindowSwitcher.h | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/Servers/WindowServer/WindowSwitcher.h b/Servers/WindowServer/WindowSwitcher.h index 77912831b0..2cf1cc5129 100644 --- a/Servers/WindowServer/WindowSwitcher.h +++ b/Servers/WindowServer/WindowSwitcher.h @@ -59,24 +59,20 @@ public: void refresh(); void refresh_if_needed(); + void select_window(Window&); + +private: int thumbnail_width() const { return 40; } int thumbnail_height() const { return 40; } - int item_height() const { return 10 + thumbnail_height(); } int padding() const { return 8; } int item_padding() const { return 8; } - void select_window(Window&); - - Window* selected_window(); - - 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; + Window* selected_window(); virtual void event(Core::Event&) override;