Förut (nästan 100% säker) kunde jag trycka radera i Mail.app och du få till åtgärden arkivera / archive i Gmail vilket jag tycker är den bästa lösningen.
Nu har jag upptäckt att det inte fungerar längre och att jag istället raderar meddelanden på gmails server, de hamnar i Trash.