ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nitpicker: update focus report after reconfig

Browse Source 
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.
This commit is contained in:
Norman Feske 2017-11-01 14:45:10 +01:00 committed by Christian Helmuth
parent 27c9e5c6e8
commit 7b4ef66d91
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/src/server/nitpicker/main.cc
View File

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