refresh the icon list if some package got installed

2 files changed, 4 insertions, 0 deletions

diff --git a/NEWS b/NEWS
index 63dbe8d8..49e736eb 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,5 @@
+- refresh the icon list if some package got installed
+
 Version 12.16 - 27 October 2009, Thierry Vignaud
 
 - do not offer to configure the boot splash screen
diff --git a/control-center b/control-center
index 377a3673..f24eba53 100755
--- a/control-center
+++ b/control-center
@@ -1343,6 +1343,8 @@ sub sig_child {
             @pid_launched = grep { $_ ne $child_pid } @pid_launched;
             if ($child_pid == $gurpmi_pid) {
                 undef $gurpmi_pid;
+                build_list();
+                load_view();
             }
         }
         undef $pid_exp if $pid_exp eq $child_pid;