# HG changeset patch
# User ib
# Date 1365102911 0
# Node ID f8611a48fd57b2779fdf683ebbe443064fbee697
# Parent  955ea8d7ee479e716d2548ee241da4cdf67fc675
Don't allow the file selector to be user-shrinkable.

Remove the policy and use the default.

This voids r36155.

diff -r 955ea8d7ee47 -r f8611a48fd57 gui/dialog/fileselect.c
--- a/gui/dialog/fileselect.c	Thu Apr 04 18:37:59 2013 +0000
+++ b/gui/dialog/fileselect.c	Thu Apr 04 19:15:11 2013 +0000
@@ -609,7 +609,6 @@
     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), FALSE, TRUE, FALSE);
     gtk_window_set_wmclass(GTK_WINDOW(FileSelector), "FileSelector", MPlayer);
     fsColorMap = gdk_colormap_get_system();