changeset 36061:c5301890251d

Don't allow the file selector to be user-shrinkable.
author ib
date Thu, 04 Apr 2013 18:23:24 +0000
parents edd8b2707e03
children d8c696db2948
files gui/dialog/fileselect.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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();