The coworker should have been disciplined for mucking with the code out of anger, but as far as being super uncomfortable around her I feel like a healthy warning from his boss saying 'Hey, you're being inappropriate around her' would probably be better in the long run than firing him.