I'll have to check. The other thing you can do is use the arrow pointing into the folder icon (which puts an email into a different folder) and put it into the gmail trash folder.