From a4dc480bf2081129cbdc75b4ec4bc191c2a0434a Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Sat, 26 Aug 2017 12:57:48 +0200 Subject: [PATCH] Ajout de quelques fonctions --- googleApps.mli | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/googleApps.mli b/googleApps.mli index 7b375ad..a431674 100644 --- a/googleApps.mli +++ b/googleApps.mli @@ -247,7 +247,11 @@ sig val get_id : t -> string [@@js.call] val mark_read : t -> t [@@js.call] val mark_unread : t -> t [@@js.call] + val refresh : t -> t [@@js.call] val is_unread : t -> bool [@@js.call] + val is_starred : t -> bool [@@js.call] + val star : t -> t [@@js.call] + val unstar : t -> t [@@js.call] val get_thread : t -> thread [@@js.call] val get_messages : thread -> t list [@@js.call] @@ -268,6 +272,3 @@ sig val send_email : recipient:string -> subject:string -> body:string -> unit [@@js.global "GmailApp.sendEmail"] val send_email_with_options : recipient:string -> subject:string -> body:string -> Ojs.t -> unit [@@js.global "GmailApp.sendEmail"] end - - -