GtkWidget* modest_platform_get_global_settings_dialog (void);
/**
+ * modest_platform_push_email_notification:
+ *
+ * Notify the user when new e-mail arrives by playing a sound, making
+ * a light blink, etc.
+ */
+void modest_platform_push_email_notification(void);
+
+/**
* modest_platform_on_new_headers_received:
* @header_list: the list of new received headers
* @show_visual: adds a visual notification
/*
* modest_platform_connect_and_perform:
+ * @force: force the device to connect if we're offline, if FALSE then it does not connect if required
* @parent_window: the parent #GtkWindow for any interactive or progress feedback UI.
* @account: The account to be used.
* @callback: will be called when finished, can be NULL
* @account is NULL, only a network connection is made using the platform's device.
*/
void modest_platform_connect_and_perform (GtkWindow *parent_window,
+ gboolean force,
TnyAccount *account,
ModestConnectedPerformer callback,
gpointer user_data);
* will in that case synchronously and instantly perform the @callback
*/
void modest_platform_connect_if_remote_and_perform (GtkWindow *parent_window,
- TnyFolderStore *folder_store,
- ModestConnectedPerformer callback,
- gpointer user_data);
+ gboolean force,
+ TnyFolderStore *folder_store,
+ ModestConnectedPerformer callback,
+ gpointer user_data);
/**
* modest_platform_get_account_settings_dialog: