pull down to refresh

Oh so you can tell the difference because you can still tip it whereas if it was really deleted you can't tip it.
We might do something more to indicate a real delete at some point ... but it seemed like everyone just wanted it to get done.
reply