From ff740e300a4a8159fa381af3629cd5c62c4e8814 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 3 Nov 2023 20:24:12 +0100
Subject: [PATCH] wm: free window id on destroy_view

Issue #5048
---
 repos/gems/src/server/wm/window_registry.h | 2 ++
 1 file changed, 2 insertions(+)

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();