PS on previous message. To be clear: The update in dvi correctly outputs
changes in text. It is merely changes in images that are not updated.

Reply via email to