Yes, I have also noticed that. I do not hate Trump or DeSantis like a lot here do. I can vote for one as easy as the other. I will not vote for Scott, Haley, Pence, nor the fatso from New Jersey.
I have not seen many DeSantis supporters say they would stay home if Trump wins the nomination.
But I have seen multiple Trump cultists say they will never vote for DeSantis, even if he wins the nomination.