# HG changeset patch
# User ib
# Date 1365105220 0
# Node ID bfa9e8b4eafef9b303cfa26a452a36bb6dff5c1a
# Parent  2c0e238bc070c95b84e9f81bb2e80e5b2120c3d8
Remove commented code.

diff -r 2c0e238bc070 -r bfa9e8b4eafe gui/dialog/playlist.c
--- a/gui/dialog/playlist.c	Thu Apr 04 19:42:17 2013 +0000
+++ b/gui/dialog/playlist.c	Thu Apr 04 19:53:40 2013 +0000
@@ -448,7 +448,6 @@
   gtk_widget_set_usize( Playlist,512,384 );
   gtk_window_set_title( GTK_WINDOW( Playlist ),MSGTR_PlayList );
   gtk_window_set_position( GTK_WINDOW( Playlist ),GTK_WIN_POS_CENTER );
-//  gtk_window_set_policy( GTK_WINDOW( Playlist ),FALSE,FALSE,FALSE );
   gtk_window_set_wmclass( GTK_WINDOW( Playlist ),"Playlist",MPlayer );
 
   gtk_widget_realize( Playlist );
diff -r 2c0e238bc070 -r bfa9e8b4eafe gui/dialog/preferences.c
--- a/gui/dialog/preferences.c	Thu Apr 04 19:42:17 2013 +0000
+++ b/gui/dialog/preferences.c	Thu Apr 04 19:53:40 2013 +0000
@@ -567,7 +567,6 @@
   Preferences=gtk_window_new( GTK_WINDOW_TOPLEVEL );
   gtk_window_set_title( GTK_WINDOW( Preferences ),MSGTR_Preferences );
   gtk_window_set_position( GTK_WINDOW( Preferences ),GTK_WIN_POS_CENTER );
-//  gtk_window_set_policy( GTK_WINDOW( Preferences ),FALSE,FALSE,FALSE );
   gtk_window_set_wmclass( GTK_WINDOW( Preferences ),"Preferences",MPlayer );
 
   gtk_widget_realize( Preferences );