I always feel like mentioning it to management would just be petty or personal.
Just one colleague who moans, flaps, complains and panics constantly about a part of our workload - a part that, ironically, she is used supposed to have some oversight of. It's just constant. And she's complaining about people asking us to do something which is actually part of our role 
Sometimes I ignore her, sometimes I put my headphones in, sometimes I try and talk her down but... Is there ever a professional way to say to a manager that a colleague's constant flapping is incredibly hard to work with?