From 7b4ef66d910e4410b9b379b7b2f5222fd1a66c3d Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 1 Nov 2017 14:45:10 +0100 Subject: [PATCH] nitpicker: update focus report after reconfig A new configuration may implicitly change the domain color of the currently focused session. We need to refresh the report to trigger an update of the status bar. --- repos/os/src/server/nitpicker/main.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/repos/os/src/server/nitpicker/main.cc b/repos/os/src/server/nitpicker/main.cc index c00377c18..e2cf65d0b 100644 --- a/repos/os/src/server/nitpicker/main.cc +++ b/repos/os/src/server/nitpicker/main.cc @@ -1404,6 +1404,9 @@ void Nitpicker::Main::handle_config() /* redraw */ user_state.update_all_views(); + + /* update focus report since the domain colors might have changed */ + report_session(focus_reporter, user_state.Mode::focused_session(), user_active); }