diff Gui/mplayer/gtk/pl.c @ 4818:3473ca9ef158

new gui interface, and gtk moved into mplayer process. fork ... bleh :)
author pontscho
date Sat, 23 Feb 2002 15:12:55 +0000
parents f77f8379f28f
children 153fc4ed86ad
line wrap: on
line diff
--- a/Gui/mplayer/gtk/pl.c	Sat Feb 23 07:40:25 2002 +0000
+++ b/Gui/mplayer/gtk/pl.c	Sat Feb 23 15:12:55 2002 +0000
@@ -9,9 +9,6 @@
 void HidePlayList( void )
 {
  gtk_widget_hide( PlayList );
- gtkVisiblePlayList=0;
- gtkShMem->vs.window=evPlayList;
- gtkSendMessage( evHideWindow );
 }
 
 void pl_PlayList_destroy( GtkObject * object,gpointer user_data )