Bug#222398: xdvi: does not refresh message window

[Stefan Ulrich <stefan-ulrich.nntp@zen.co.uk>]

Toby Johnson <toby.johnson@ed.ac.uk> wrote :

> When xdvi previews a page containing rotated contents, it displays a message
> 
> `Warning: PS code on this page may contain rotation, which is not supported'
> 
> at the bottom of its window, which is great.  However, this message *persists*
> when the page is changed, using keyboard shortcuts, to pages that do not have
> rotated contents.  The message only goes away when the mouse pointer is moved
> within the xdvi window.

That the message doesn't go away automatically after a certain time
(10 seconds) is a known bug in the event handling in 22.40; it has
been fixed in the current version (22.77.x).

However there's still no special handling for `page-specific'
messages; currently all messages are just shown for a certain duration
and then erased. For the time being, I've changed `on this page' to
`on page x' in the message to make it clearer what page the message
refers to.

Best,
Stefan