# HG changeset patch
# User zas_
# Date 1208904351 0
# Node ID 2b85ad4c59bd89cc146d68af105ebf7156558777
# Parent  3809ffa3567bc62ad2d3092b8513f5a55f01e0ca
Remove unused function bar_info_size_request().

diff -r 3809ffa3567b -r 2b85ad4c59bd src/bar_info.c
--- a/src/bar_info.c	Tue Apr 22 22:44:10 2008 +0000
+++ b/src/bar_info.c	Tue Apr 22 22:45:51 2008 +0000
@@ -1360,17 +1360,3 @@
 	gtk_widget_set_sensitive(bd->button_set_add, enable);
 	gtk_widget_set_sensitive(bd->button_set_replace, enable);
 }
-
-void bar_info_size_request(GtkWidget *bar, gint width)
-{
-	BarInfoData *bd;
-
-	bd = g_object_get_data(G_OBJECT(bar), "bar_info_data");
-	if (!bd) return;
-
-	if (bd->label_file_name)
-		{
-		gtk_widget_set_size_request(bd->vbox, width, -1);
-		options->panels.info.width = bd->vbox->allocation.width;
-		}
-}
diff -r 3809ffa3567b -r 2b85ad4c59bd src/bar_info.h
--- a/src/bar_info.h	Tue Apr 22 22:44:10 2008 +0000
+++ b/src/bar_info.h	Tue Apr 22 22:45:51 2008 +0000
@@ -24,8 +24,6 @@
 void bar_info_set_selection_func(GtkWidget *bar, GList *(*list_func)(gpointer data), gpointer data);
 void bar_info_selection(GtkWidget *bar, gint count);
 
-void bar_info_size_request(GtkWidget *bar, gint width);
-
 void bar_info_maint_renamed(GtkWidget *bar, FileData *fd);
 
 gint comment_write(FileData *fd, GList *keywords, const gchar *comment);