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