Detect a page refresh?

Is it possible to know if a user has refreshed the page? This may happen when a user clicks on his browsers refresh button or when he is redirected back to the Vaadin application from an external application (for instance a SSO or payment)

There’s probably some obvious hook or event I can use for this, but I can’t seem to find it.