From 746b7890da8452a2bde07caaa0762d13cff9114a Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Thu, 17 Aug 2017 14:50:41 +0200 Subject: [PATCH] Ajout mark_unread et is_unread --- googleApps.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/googleApps.mli b/googleApps.mli index 37ecd99..7b375ad 100644 --- a/googleApps.mli +++ b/googleApps.mli @@ -246,6 +246,8 @@ sig val get_from : t -> string [@@js.call] val get_id : t -> string [@@js.call] val mark_read : t -> t [@@js.call] + val mark_unread : t -> t [@@js.call] + val is_unread : t -> bool [@@js.call] val get_thread : t -> thread [@@js.call] val get_messages : thread -> t list [@@js.call]