Bo Peng wrote:
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.
You are right of course. We don't want to tell
people to go look in /tmp/obscuredir/...
The sensible thing to do here would
be to only show view->update->... entries for those files
who have a decent viewer configured. Or perhaps not show
entries when we know the viewer is bad, most of them are ok
but some, like acrobat are not.
Helge Hafting
