# HG changeset patch
# User ib
# Date 1365099804 0
# Node ID c5301890251dcd46d66a04871f15bd1add6a8b9b
# Parent  edd8b2707e03e27fd84b66e0dacfa95e8297d436
Don't allow the file selector to be user-shrinkable.

diff -r edd8b2707e03 -r c5301890251d gui/dialog/fileselect.c
--- a/gui/dialog/fileselect.c	Thu Apr 04 18:18:37 2013 +0000
+++ b/gui/dialog/fileselect.c	Thu Apr 04 18:23:24 2013 +0000
@@ -609,7 +609,7 @@
     gtk_widget_set_events(FileSelector, GDK_EXPOSURE_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK);
     gtk_window_set_title(GTK_WINDOW(FileSelector), MSGTR_FileSelect);
     gtk_window_set_position(GTK_WINDOW(FileSelector), GTK_WIN_POS_CENTER);
-    gtk_window_set_policy(GTK_WINDOW(FileSelector), TRUE, TRUE, TRUE);
+    gtk_window_set_policy(GTK_WINDOW(FileSelector), FALSE, TRUE, FALSE);
     gtk_window_set_wmclass(GTK_WINDOW(FileSelector), "FileSelector", MPlayer);
     fsColorMap = gdk_colormap_get_system();