From 937ddd012b43491e1435d71a5e03a8f45744e563 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 27 Apr 2023 15:05:39 +0200
Subject: [PATCH] sculpt: refresh update window when network is up

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

Issue #4820
---
 repos/gems/src/app/sculpt_manager/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/src/app/sculpt_manager/main.cc b/repos/gems/src/app/sculpt_manager/main.cc
index d8d6850962..b4f58f6b36 100644
--- a/repos/gems/src/app/sculpt_manager/main.cc
+++ b/repos/gems/src/app/sculpt_manager/main.cc
@@ -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();
 	}