From 1273c573b69b899ed2edd4117190dae6a447dab2 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 9 Jan 2020 12:56:12 +0100
Subject: [PATCH] wm: destroy view before newly creating it

---
 repos/gems/src/server/wm/decorator_nitpicker.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/src/server/wm/decorator_nitpicker.h b/repos/gems/src/server/wm/decorator_nitpicker.h
index a3fc0a4d2..54e334f3e 100644
--- a/repos/gems/src/server/wm/decorator_nitpicker.h
+++ b/repos/gems/src/server/wm/decorator_nitpicker.h
@@ -328,6 +328,7 @@ struct Wm::Decorator_nitpicker_session : Genode::Rpc_object<Nitpicker::Session>,
 				Nitpicker::View_capability view_cap =
 					_content_callback.content_view(win_id);
 
+				_nitpicker_session.destroy_view(view_handle);
 				_nitpicker_session.view_handle(view_cap, view_handle);
 
 				_nitpicker_session.enqueue(cmd);