+}
+
+void
+modest_platform_system_banner (GtkWidget *parent,
+ const gchar *icon_name,
+ const gchar *text)
+{
+ GtkWidget *banner = NULL;
+ ModestWindowMgr *mgr = modest_runtime_get_window_mgr ();
+
+
+ if (parent && GTK_IS_WINDOW (parent)) {
+ if (!gtk_window_is_active (GTK_WINDOW (parent)))
+ parent = NULL;
+ }
+
+ banner = hildon_banner_show_information (parent, icon_name, text);