title: Will a function be added to Gmail App Script API to get the type of star assigned to a message?
body: <p>Gmail settings allows to set a star of a different type among <a href="https://support.google.com/mail/bin/answer.py?hl=en&amp;answer=7190" rel="nofollow">several</a> ("yellow-star", "red-star", "green-check", ...).<br>
  The number of star types that can be used can be set in Gmail <a href="http://support.google.com/mail/bin/answer.py?hl=en&amp;answer=5904" rel="nofollow">settings menu</a>.  </p>
  
  <p><a href="https://developers.google.com/apps-script/" rel="nofollow">Google Apps Script</a>'s <a href="https://developers.google.com/apps-script/service_gmail" rel="nofollow">Gmail services</a> includes a <a href="https://developers.google.com/apps-script/class_gmailmessage#isStarred" rel="nofollow">GmailMessage::isStarred</a> that just returns a Boolean. It does not provide the type of star that is set.  </p>
  
  <p>Will this function be modified, or an other be added, to return which type of star is set to a message ?</p>