Besides that, that sounds like an awful thing for her to have gone through. Also, if he comes so close without your permission that you can punch him like that, it is understandable that she would take such action. I hope she's doing well now.
Then yeah Id say that warrants a punch. I was just saying some people have weird/extreme opinions on what constitutes harrassment. Just playing the devils advocate between when one should use words to solve a problem and when one should use fisticuffs.