patches/gnome-desktop-01-jds-about-branding.diff
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,