nitpicker: update all on focus change in xray mode

2015-09-15 15:02:16 +02:00 · 2015-09-15 15:02:16 +02:00 · 2166aef737
parent 3726cafb28
commit 2166aef737
1 changed files with 3 additions and 0 deletions
--- a/repos/os/src/server/nitpicker/main.cc
+++ b/repos/os/src/server/nitpicker/main.cc
@ -933,6 +933,9 @@ class Nitpicker::Session_component : public Genode::Rpc_object<Session>,
 				report_session(_focus_reporter, session);
 			};
 			_ep.apply(session_cap, lambda);
+
+			if (_mode.xray())
+				_view_stack.update_all_views();
 		}

 		void session_control(Label suffix, Session_control control) override