Ugh, I'm sorry this happened to you and I'm also Thoroughly Unimpressed with your organization's response. Staff are members of the community too - the excuse that the library has to welcome everyone doesn't hold water if it's not being welcoming to the people who are there 40 hours a week! (Or 20, or 10, for that matter, but it's an especially frustrating excuse when it's being said to people who are at the library far more than almost any patron.)

This is deeply, uncomfortably relevant at my organization as well - our director recently made the (apparently unilateral) decision to allow a patron back into the library who had a history of stalking and harassing female-appearing employees, using the reasoning that the employee he singled out no longer works here and therefore it shouldn't be a problem anymore. The "the library must serve the public, even at the cost of the safety and comfort of its employees" mindset is aggravatingly alive and well here.