How do you deal with sexual harassment in Singapore workplace?

Unfortunately, I experienced verbal sexual harassment from one of my colleagues at work.
I reported the incident to my manager, but they dismissed it as “just a joke” and didn’t seem to take it seriously.
The whole situation has made me feel uncomfortable and unsupported. I’ve already decided to quit this job, but I keep wondering whether I’m overreacting or whether this is a sign of a toxic workplace culture.
I’d really appreciate hearing your thoughts or if anyone has been in a similar situation.