The menu item is always functional. It always updates the dvi/pdf/ps/whatever file - so it works. Click on the file in your favourite file manager - you'll see the new content.
The file is indeed always updated, but do we expect a user to dig through the complicated tmp directory structure to view them? If we can not reload the new file from a viewer, the viewer (and consequently this feature) is broken. Bo
