That’s not a mucked hand, she grabbed them right back. Don’t be sore losers. I was a poker dealer at a casino in Uk, I wouldn’t have taken her cards in that scenario, would have warned her though going forward.
So many people don’t even know the rules and thinks they’re good players. If you’re hand is retrievable and doesn’t touch the muck the it’s still live! When someone folds out of turn what happens? They take their cards back and fold in turn, because the hand is still live.
If she gives small bet, the opponent would probably raise on it later and the payment happen. That all in move would works if the opponent have 3s or full-house