Mail app - refreshing just with "r" ? - Does not work

Hello All,

I configured the Mail app to connect to my (large) gmail account. I can browse my mailbox. However, I can’t seem to succesfully refresh the mailbox (get new messages). Is it correct that the way to do this is to simply hit “r”? I can see the spinner. But nothing updates. The only way I can get a refresh is to do a full page refresh (F5 in the browser). That seems a bit overkill to me…

Am I missing something? Or does the Mail app have trouble with large mailboxes?