Sounds like a shitty work place, and she was a woman. Those guys sound like assholes. She should find another job; not everything in "tech" is like this. I don't feel this way at my current position.
It doesn't help that it starts early on -- I'm hopeful the millennials will be raising their children differently -- and the infuriating and frustrating preconceptions that women endure now will fade to nothingness.
Sometimes it's a good idea to leave and find something better. Sometimes it's worth it to stay and try to change the situation. It's difficult to say when each action is appropriate, but you can't say that either one is strictly a poor choice.
In other words, yes, she absolutely should if it makes sense.
[1]http://juliepagano.tumblr.com/post/46216419829/my-experience...