[chronojump/michrolab] Discover device close (without use this) shows big device button

[Xavier Padullés <xpadulles src gnome org>]

commit 50980891d3f2918309a423905248abfd01b781f7
Author: Xavier de Blas <xaviblas gmail com>
Date:   Mon Jul 18 13:43:27 2022 +0200

    Discover device close (without use this) shows big device button

 src/gui/app1/chronojump.cs | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/gui/app1/chronojump.cs b/src/gui/app1/chronojump.cs
index 1076c5d37..5a6bc998f 100644
--- a/src/gui/app1/chronojump.cs
+++ b/src/gui/app1/chronojump.cs
@@ -4671,7 +4671,10 @@ public partial class ChronoJumpWindow
        private void on_button_micro_discover_cancel_close_clicked (object o, EventArgs args)
        {
                if (discoverWin != null)
+               {
                        discoverWin.CancelCloseFromUser ();
+                       button_detect_show_hide (true); //as closed without use this, then show the big 
button again
+               }
        }
 
        private void on_discoverWindow_closed (object o, EventArgs args)