[Nautilus-list] PATCH: making the splitter hide from the menu

[Diego González <dggonz yahoo com>]

hi

	this patch make the splitter hide/unhide when selecting so from the
menu.

Diego


Index: nautilus-horizontal-splitter.c
===================================================================
RCS file: /cvs/gnome/nautilus/libnautilus-private/nautilus-horizontal-splitter.c,v
retrieving revision 1.19
diff -r1.19 nautilus-horizontal-splitter.c
70a71,72
> 	GtkWidget *child;
> 	
81a84,86
> 	child = GTK_PANED (splitter)->child1;
> 	gtk_widget_show (child);
> 
87a93,94
> 	GtkWidget *child;
> 
91a99,101
> 
> 	child = GTK_PANED (splitter)->child1;
> 	gtk_widget_hide (child);