What would you do in this situation?

So I'm currently a sophomore, and I was at this frat party the other night with my girls. I noticed that my first roomie from freshman year was there (let's just call her Texas, and she was literally a nightmare to room with. Plus, she was super toxic as helll). Long story short, we're not cool at all anymore since she started a lot of drama with me and my friends (even leading for me to block her on all of my social media, and it's super long to explain); but basically she burned bridges with half of the ppl in our graduating class, and she's known for being envious/controlling, and just shady altogether.

Anyways, we're all at this party; there was this medium sized platform in the middle on the dancefloor where everyone dances on, so I decided to get on top and dance on there. (I love dancing on there with my friends, or just some dope ass ppl!). I didn't notice that Texas and her friends were on the same platform as me until she was actually trying to push me off the platform to make me fall into the audience; she basically tried to booty bump me super hard enough to push me, but I wasn't backing down at first. One of my friends peep this, and I actually booty bumped Texas back but I used my back and ass to push her back from me (I'm super small btw, so I tried to use all my weight to push her back lol). Then Texas comments to her friends like "Omg, why is she up here" and everything. So because I didn't want anything serious to happen (and even for my tipsy ass not to say anything disrespectful), I got off the platform and went back to dancing with my friends. They asked if I was okay cos they peeped what Texas was doing, and I was irritated by it; but thankfully, the rest of the night was decent!

As much as I really wanted to argue with Texas (sometimes I wish I was able to fight her, cos she really put me through some serious shit which made me even go to therapy), I couldn't cos my sisters from my greek organization were there and some other friends of mine in other groups at school that I'm in. Plus if something would've started, then campus safety wouldn't do nothing at all (they're really not helpful, and they're widely known for not being as insightful into certain investigations). Thankfully nothing did, and I'm glad that I didn't pick a fight with her cos I got shit to lose if I did (E. My greek organization, and just being caught up with her bullshit again). Plus literally every single time I'm at parties, Texas and her friends would literally stand super close to me (including my girls), or they'd literally just stand there and stare at me (and not even dance or party at all).

It's annoying as hell, and I was more annoyed by this during freshman year after I cut Texas off. I also find it weird that her circle (which she's fake to, and talked soo much shit about) are always talking shit and being weird towards me when they're around her. But in private or on my social media pages, they're always giving me clout/love and they always watch my sc stories.

But then again, I'm learning not to worry about it as much. Yet in your case, what would've you done?