[gedit] Added gedit_tab_set_info_bar

[Jesse van den Kieboom <jessevdk src gnome org>]

commit 8a43334a580e3f5f34dfca95e6793f42d9a5b886
Author: Jesse van den Kieboom <jessevdk gnome org>
Date:   Sun Feb 14 16:31:53 2010 +0100

    Added gedit_tab_set_info_bar

 gedit/gedit-tab.c |   11 +++++++++++
 gedit/gedit-tab.h |    2 ++
 2 files changed, 13 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-tab.c b/gedit/gedit-tab.c
index af396fe..710dcdd 100644
--- a/gedit/gedit-tab.c
+++ b/gedit/gedit-tab.c
@@ -2857,3 +2857,14 @@ gedit_tab_set_auto_save_interval (GeditTab *tab,
 		install_auto_save_timeout (tab);
 	}
 }
+
+void
+gedit_tab_set_info_bar (GeditTab  *tab,
+                        GtkWidget *info_bar)
+{
+	g_return_if_fail (GEDIT_IS_TAB (tab));
+	g_return_if_fail (info_bar == NULL || GTK_IS_WIDGET (info_bar));
+
+	/* FIXME: this can cause problems with the tab state machine */
+	set_message_area (tab, info_bar);
+}
diff --git a/gedit/gedit-tab.h b/gedit/gedit-tab.h
index 0d0d9d1..6826208 100644
--- a/gedit/gedit-tab.h
+++ b/gedit/gedit-tab.h
@@ -121,6 +121,8 @@ void		 gedit_tab_set_auto_save_interval
 						(GeditTab            *tab, 
 						 gint                interval);
 
+void		 gedit_tab_set_info_bar		(GeditTab            *tab,
+						 GtkWidget           *info_bar);
 /*
  * Non exported methods
  */