diff Gui/mplayer/gtk/pl.c @ 6854:ded48a755830

gtk dialog bug fix
author pontscho
date Tue, 30 Jul 2002 23:09:24 +0000
parents a31b9f15cbff
children c2d4100c964e
line wrap: on
line diff
--- a/Gui/mplayer/gtk/pl.c	Tue Jul 30 19:19:16 2002 +0000
+++ b/Gui/mplayer/gtk/pl.c	Tue Jul 30 23:09:24 2002 +0000
@@ -169,7 +169,7 @@
   }
  gtk_clist_thaw( GTK_CLIST( CLSelected ) );
 
- gtk_widget_show( PlayList ); gtkVisible++;
+ gtk_widget_show( PlayList ); gtkIncVisible();
 }
 
 void HidePlayList( void )
@@ -180,7 +180,7 @@
  if ( CLFileSelected ) free( CLFileSelected ); CLFileSelected=NULL;
  if ( old_path ) free( old_path ); old_path=strdup( current_path );
  gtk_widget_hide( PlayList );
- gtk_widget_destroy( PlayList ); gtkVisible--;
+ gtk_widget_destroy( PlayList ); gtkDecVisible();
 }
 
 static void plDestroy( GtkObject * object,gpointer user_data )