# HG changeset patch
# User ib
# Date 1365103091 0
# Node ID 070c711825ea5b868ab70ace749456949189dc78
# Parent  f8611a48fd57b2779fdf683ebbe443064fbee697
Don't allow the URL dialog to be user-shrinkable.

Remove the policy and use the default.

diff -r f8611a48fd57 -r 070c711825ea gui/dialog/url.c
--- a/gui/dialog/url.c	Thu Apr 04 19:15:11 2013 +0000
+++ b/gui/dialog/url.c	Thu Apr 04 19:18:11 2013 +0000
@@ -89,7 +89,6 @@
     gtk_widget_set_usize(URLDialog, 384, -1);
     gtk_window_set_title(GTK_WINDOW(URLDialog), MSGTR_Network);
     gtk_window_set_position(GTK_WINDOW(URLDialog), GTK_WIN_POS_CENTER);
-    gtk_window_set_policy(GTK_WINDOW(URLDialog), TRUE, TRUE, FALSE);
     gtk_window_set_wmclass(GTK_WINDOW(URLDialog), "Network", MPlayer);
 
     gtk_widget_realize(URLDialog);