# HG changeset patch
# User ib
# Date 1364652803 0
# Node ID 90ff4280cc80833b0b0060ae9696c8797c51831c
# Parent  efb9481610d2e71d38b885ad87ea9089d41b2e77
There is no need to hide the widget prior to destruction.

diff -r efb9481610d2 -r 90ff4280cc80 gui/dialog/msgbox.c
--- a/gui/dialog/msgbox.c	Sat Mar 30 08:53:02 2013 +0000
+++ b/gui/dialog/msgbox.c	Sat Mar 30 14:13:23 2013 +0000
@@ -33,7 +33,6 @@
 
 static void on_Ok_released( GtkButton * button,gpointer user_data  )
 {
- gtk_widget_hide( MessageBox );
  gtk_widget_destroy( MessageBox );
  MessageBox=NULL;
 }
@@ -109,7 +108,7 @@
 
 void ShowMessageBox( const char * msg )
 {
- if ( MessageBox ) { gtk_widget_hide( MessageBox ); gtk_widget_destroy( MessageBox ); }
+ if ( MessageBox ) gtk_widget_destroy( MessageBox );
  MessageBox=CreateMessageBox();
  if ( strlen( msg ) < 20 ) gtk_widget_set_usize( MessageBox,196,-1 );
 }