Cosmetical fix for using the new rounded boxed selection in gnome-icon-list -mig

1998-06-08 00:30:18 +00:00 · 1998-06-08 00:30:18 +00:00 · a533715938
--- a/gnome/gscreen.c
+++ b/gnome/gscreen.c
@ -1391,7 +1391,7 @@ panel_create_icon_display (WPanel *panel)
 	gnome_icon_list_set_separators (icon_field, " /-_.");
 	gnome_icon_list_set_row_spacing (icon_field, 2);
 	gnome_icon_list_set_col_spacing (icon_field, 2);
-	gnome_icon_list_set_icon_border (icon_field, 2);
+	gnome_icon_list_set_icon_border (icon_field, 4);
 	gnome_icon_list_set_text_spacing (icon_field, 2);
 	
 	icon_field->desired_text_width = 100;