# HG changeset patch
# User ib
# Date 1365100679 0
# Node ID 955ea8d7ee479e716d2548ee241da4cdf67fc675
# Parent  d8c696db294879b95b63e9abac1dac3ac751d350
Fix parameter auto_shrink.

It's merely cosmetic.

diff -r d8c696db2948 -r 955ea8d7ee47 gui/dialog/preferences.c
--- 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 );