show buttons bar again when embedded tool exits

1 files changed, 5 insertions, 1 deletions

diff --git a/control-center b/control-center
index 5b2bdff2..26dd7cc7 100755
--- a/control-center
+++ b/control-center
@@ -746,6 +746,7 @@ sub child_just_exited() {
     }
     $emb_frame->hide;
     $emb_wait->hide;
+    show_hide_previous(1);
     $cancel->hide;
     gtkset_mousecursor_normal();
     foreach my $notebook ($previous, $notebook_global, $banner_notebook) {
@@ -1042,7 +1043,10 @@ sub set_page {
 
 sub show_hide_previous {
     my ($bool) = @_;
-    if ($bool) { $previous->show } else { $previous->hide }
+    if ($bool) {
+        $previous->show;
+        $buttons->show;
+    } else { $previous->hide }
     $cancel->hide;
 }