diff options
-rw-r--r-- | NEWS | 2 | ||||
-rwxr-xr-x | control-center | 2 |
2 files changed, 4 insertions, 0 deletions
@@ -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; |