I don't know how you can put up with this kind of behavior for as long as you have. You're a better man than me for sure. I've worked with a lot of people over the years and have never been able to just sit and take it. Not saying that's what you did. Figure of speech on my part. Normally I will let things play out to see if the other person will self correct themselves. In most cases or about 99% of the time, they never do. So, in that time where I don't see any improvement, I also see how these individuals start rubbing other people the wrong way (not just me) and I end up addressing the situation, usually to everyone's delight.

Life is way to short to have to put up with bullsh*t like this. I don't wake up in the morning and drive to work just so that I can begin my day dreading a hostile work environment. I have taxes to do that for me when they would take a big chunk out of my paycheck. No, work should be a place where you can be productive, not just for the company, but for your own benefit as it keeps the mind active. The bonus is making lasting friendships that you can take beyond the work place.

I'm glad you are moving on and to some extent your co-worker as well. Keep your chin up dude.