changeset 6487 | be5e8caa8a70 |
parent 6128 | 428aa6cb07c3 |
child 7161 | c4593a50500c |
--- a/patches/gnome-desktop-01-jds-about-branding.diff Wed Jan 04 12:51:38 2006 +0000 +++ b/patches/gnome-desktop-01-jds-about-branding.diff Wed Jan 04 13:38:43 2006 +0000 @@ -169,15 +169,6 @@ static gdouble version_info_height = 0.0; static gint contrib_i = 0; static gint *contrib_order; -@@ -326,7 +329,7 @@ - "fill_color", "White", - "x1", -4.0, - "y1", -4.0, -- "x2", 304.0, -+ "x2", 404.0, - "y2", 84.0, - NULL); - @@ -336,7 +339,7 @@ "text", introduction_messages[intro_i], "editable", FALSE,