changeset 36063:955ea8d7ee47

Fix parameter auto_shrink. It's merely cosmetic.
author ib
date Thu, 04 Apr 2013 18:37:59 +0000
parents d8c696db2948
children f8611a48fd57
files gui/dialog/preferences.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/gui/dialog/preferences.c	Thu Apr 04 18:27:52 2013 +0000
+++ b/gui/dialog/preferences.c	Thu Apr 04 18:37:59 2013 +0000
@@ -1541,7 +1541,7 @@
   AudioConfig = gtk_window_new(GTK_WINDOW_TOPLEVEL);
   gtk_window_set_title(GTK_WINDOW(AudioConfig), MSGTR_AudioPreferences);
   gtk_window_set_position(GTK_WINDOW(AudioConfig), GTK_WIN_POS_CENTER);
-  gtk_window_set_policy(GTK_WINDOW(AudioConfig), FALSE, FALSE, FALSE);
+  gtk_window_set_policy(GTK_WINDOW(AudioConfig), FALSE, FALSE, TRUE);
   gtk_window_set_wmclass(GTK_WINDOW(AudioConfig), "AudioConfig", MPlayer);
 
   gtk_widget_realize(AudioConfig);
@@ -1735,7 +1735,7 @@
 // gtk_widget_set_usize( DXR3Config,300,156 );
  gtk_window_set_title( GTK_WINDOW( DXR3Config ),"DXR3/H+" );
  gtk_window_set_position( GTK_WINDOW( DXR3Config ),GTK_WIN_POS_CENTER );
- gtk_window_set_policy( GTK_WINDOW( DXR3Config ),FALSE,FALSE,FALSE );
+ gtk_window_set_policy( GTK_WINDOW( DXR3Config ),FALSE,FALSE,TRUE );
  gtk_window_set_wmclass( GTK_WINDOW( DXR3Config ),"DXR3Config",MPlayer );
 
  gtk_widget_realize( DXR3Config );