I wouldn't say anything unless the manager approaches you. Also you already dealt with the co-worker when you sen her the text. If you think you might continue having issues with this, I would suggest setting an alarm on your phone and put it on the vibrate setting in your pocket.