basically Pushcut waits, after the leaving event, if there is a re-entering happening within the interval. this will obviously delay the leaving event, but can help smoothing over re-entering messages.
I just responded more generally here: