If the cursor didn't change since last time we had pointer focus we just wouldn't change it. But whoever had pointer focus in the mean time could have changed it, so make sure we always set the cursor after pointer enter.