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

sculpt: refresh update window when network is up

Browse Source 
This way, the update-index button becomes immediately visible once we
have connectivity.

Issue #4820
This commit is contained in:
Norman Feske 2023-04-27 15:05:39 +02:00
parent 280fc45c5f
commit 937ddd012b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/src/app/sculpt_manager/main.cc
View File

@ -217,7 +217,6 @@ struct Sculpt::Main : Input_event_handler,
return _prepare_version.value != _prepare_completed.value;
}
Storage _storage { _env, _heap, _child_states, *this, *this, *this };
/**
@ -250,6 +249,7 @@ struct Sculpt::Main : Input_event_handler,
void update_network_dialog() override
{
_network_menu_view.generate();
_system_menu_view.generate();
}