From 461776a29c246f72ec56c8012672917278643a90 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 12 Nov 2015 19:47:17 +0100
Subject: [PATCH] wm: support multiple decorator sessions

---
 .../gems/src/server/wm/decorator_nitpicker.h  |  3 ++-
 repos/gems/src/server/wm/nitpicker.h          | 25 +++++++++++--------
 2 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/repos/gems/src/server/wm/decorator_nitpicker.h b/repos/gems/src/server/wm/decorator_nitpicker.h
index e58f04305..94a59ca0d 100644
--- a/repos/gems/src/server/wm/decorator_nitpicker.h
+++ b/repos/gems/src/server/wm/decorator_nitpicker.h
@@ -153,7 +153,8 @@ class Wm::Decorator_content_registry
 };
 
 
-struct Wm::Decorator_nitpicker_session : Genode::Rpc_object<Nitpicker::Session>
+struct Wm::Decorator_nitpicker_session : Genode::Rpc_object<Nitpicker::Session>,
+                                         List<Decorator_nitpicker_session>::Element
 {
 	typedef Nitpicker::View_capability      View_capability;
 	typedef Nitpicker::Session::View_handle View_handle;
diff --git a/repos/gems/src/server/wm/nitpicker.h b/repos/gems/src/server/wm/nitpicker.h
index 60c37f660..b890907fa 100644
--- a/repos/gems/src/server/wm/nitpicker.h
+++ b/repos/gems/src/server/wm/nitpicker.h
@@ -1058,7 +1058,7 @@ class Wm::Nitpicker::Root : public Genode::Rpc_object<Genode::Typed_root<Session
 
 		Layouter_nitpicker_session *_layouter_session = nullptr;
 
-		Decorator_nitpicker_session *_decorator_session = nullptr;
+		List<Decorator_nitpicker_session> _decorator_sessions;
 
 		/**
 		 * Nitpicker session used to perform session-control operations
@@ -1136,13 +1136,14 @@ class Wm::Nitpicker::Root : public Genode::Rpc_object<Genode::Typed_root<Session
 
 			case ROLE_DECORATOR:
 				{
-					_decorator_session = new (_md_alloc)
+					auto session = new (_md_alloc)
 						Decorator_nitpicker_session(_ram, _ep, _md_alloc,
 						                            _pointer_reporter,
 						                            _last_motion,
 						                            _window_layouter_input,
 						                            *this);
-					return _ep.manage(*_decorator_session);
+					_decorator_sessions.insert(session);
+					return _ep.manage(*session);
 				}
 
 			case ROLE_LAYOUTER:
@@ -1227,14 +1228,16 @@ class Wm::Nitpicker::Root : public Genode::Rpc_object<Genode::Typed_root<Session
 				return;
 			}
 
-			auto decorator_lambda = [this] (Decorator_nitpicker_session *session) {
-				_ep.dissolve(*_decorator_session);
-				_decorator_session = nullptr;
-				return session;
-			};
-
-			if (ep.apply(session_cap, decorator_lambda) == _decorator_session) {
-				Genode::destroy(_md_alloc, _decorator_session);
+			Decorator_nitpicker_session *decorator_session =
+				ep.apply(session_cap, [this] (Decorator_nitpicker_session *session) {
+					if (session) {
+						_decorator_sessions.remove(session);
+						_ep.dissolve(*session);
+					}
+					return session;
+				});
+			if (decorator_session) {
+				Genode::destroy(_md_alloc, decorator_session);
 				return;
 			}