const gchar *icon_name,
const gchar *text);
+void modest_platform_system_banner (GtkWidget *widget,
+ const gchar *icon_name,
+ const gchar *text);
+
/* Timeout is in miliseconds */
void modest_platform_information_banner_with_timeout (GtkWidget *parent,
const gchar *icon_name,