Have you tried asking that co-worker directly in a tactful way? If you have, what about talking to a manager with whom you have a good relationship? If their be

Have you tried asking that co-worker directly in a tactful way? If you have, what about talking to a manager with whom you have a good relationship? If their behavior is a problem, then ignoring this will just let it fester. You might also try to take a step back and see if their behavior actually matters, and treat it as a personality quirk. There are people like this everywhere, so even jumping ship may not exclude this or worse from happening at the next place. Just don't mention that you're thinking about jumping ship to anyone. That doesn't help you or them.