Patch: panel size at startup

[Richard Hult <rhult hem2 passagen se>]

For the last couple of weeks, maybe longer, the panel has not had the
right height right after startup. If I drag the panel with the 2nd
mousebutton to one of the other sides of the screen and then back, it
gets the right size.

The attached patch fixes the problem, but I'm not sure it's made the
right way (as usual ;).

Regards,
 Richard
 
Index: panel.c
===================================================================
RCS file: /cvs/gnome/gnome-core/panel/panel.c,v
retrieving revision 1.249
diff -u -r1.249 panel.c
--- panel.c	1998/12/03 10:41:45	1.249
+++ panel.c	1998/12/10 18:05:35
@@ -223,9 +223,10 @@
 {
 	change_window_cursor(widget->window, GDK_LEFT_PTR);
 	
-	if(IS_SNAPPED_WIDGET(widget))
+	if(IS_SNAPPED_WIDGET(widget)) {
 		snapped_widget_enable_buttons(SNAPPED_WIDGET(widget));
-	else if(IS_CORNER_WIDGET(widget))
+		gtk_widget_queue_resize(GTK_WIDGET(widget));
+	} else if(IS_CORNER_WIDGET(widget))
 		corner_widget_enable_buttons(CORNER_WIDGET(widget));
 }