The topic of the thread, "Tipped ball - double dribble?" seemed to imply the question Can the offensive player dribble after the tip? As described, I'd say yes.

In the midst of the opposition's fans, bench personnel, and possibly the coach yelling "travelling"; the calm ref stands there observedly and does not interrupt the play.