Gift Certificates And Refunding

General General Questions
1

Couldn't really find anything about it, but if a customer used a gift certificate on a order and the order get's refunded. Does he get's his gift certificate back to full price or something?

Thanks