diff --git a/repos/gems/src/server/wm/window_registry.h b/repos/gems/src/server/wm/window_registry.h index 586e9e7b6e..51a8a13e93 100644 --- a/repos/gems/src/server/wm/window_registry.h +++ b/repos/gems/src/server/wm/window_registry.h @@ -237,6 +237,8 @@ class Wm::Window_registry _windows.remove(win); + _window_ids.free(win->id().value); + Genode::destroy(&_alloc, win); _report_updated_window_list_model();