Try redrawing after anything that changes text or highlights in the buffer.