1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-05-31 08:48:11 +00:00

WindowServer: Remove some unused WSWindowManager members.

This commit is contained in:
Andreas Kling 2019-05-24 21:11:55 +02:00
parent dd84dcf31f
commit d0bc21b96f
2 changed files with 0 additions and 11 deletions

View file

@ -218,7 +218,6 @@ void WSWindowManager::set_current_menubar(WSMenuBar* menubar)
void WSWindowManager::add_window(WSWindow& window)
{
m_windows.set(&window);
m_windows_in_order.append(&window);
if (window.is_fullscreen()) {
@ -258,11 +257,7 @@ void WSWindowManager::move_to_front_and_make_active(WSWindow& window)
void WSWindowManager::remove_window(WSWindow& window)
{
if (!m_windows.contains(&window))
return;
invalidate(window);
m_windows.remove(&window);
m_windows_in_order.remove(&window);
if (window.is_active())
pick_new_active_window();