locustshoes said:
How do you ignore users? I don't want to ever use that function but we had some trouble with someone earlier and Svennerson was asking.
It varies based on your IRC client. The stock one that the site's Chat link goes to does not have a working ignore function.

I believe clients like mIRC and HexChat have them, among many others.