Haha perhaps you are right on the money.
But, remember that she's still human. If things are awkward, she may not have the courage to speak to him directly. Especially if you guys are young, which I am presume you are, as you said she came to you in class.
She IS insecure, she should be. She's human remember. She MAY need the ego boost, who cares? I think a lot of people in the community seem to take things personally, when it's really not. It's her human nature acting out, she wants an ego boost, because she is insecure, due to her emotional circulatory telling her to remove this uncomfortable feeling that is connected to her insecurity. It's human.
As Don Juans, we should rise above, give her that little ego boost, who cares? As long as WE don't supplicate and affect our CORE VALUES, give her a freebie ego boost. Does it really matter that much? I try not to take things personally, and let her actions affect my mental/emotional state.
Now chances are, she WILL try and push with this. See how much she can get away with, you draw a firm line and leave it at that. You are happy to let things go to a certain point, and not take things personally. But once she starts trying to manipulate/play games etc... you can just ignore it.
I actually have an ex who is EXTREMELY response seeking. And like an AFC, I let things get awkward with her and didn't speak to her for almost 2 years. Once I stopped taking things personally, I couldn't care less. If she tried too hard and crossed the line, I'd ignore her. If she comes back later on, I'll talk to her still. I won't hold a grudge. Eventually, she'll understand that you aren't going to budge, and will just stop trying.
The social side of remaining on good terms is huge.