From Bugzilla Helper: User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1b) Gecko/20020812 Description of problem: If the reload button is pressed after the PDF file currently displayed changed on the disk it appears that a new file is loaded (the window is cleared) but the same old file is displayed. Version-Release number of selected component (if applicable): How reproducible: Always Steps to Reproduce: 1.echo '\documentstyle{article}\begin{document}foo\end{document}' > foo.tex 2.pdflatex foo.tex 3.ggv foo.pdf 4.echo '\documentstyle{article}\begin{document}bar\end{document}' > foo.tex 5.pdflatex foo.tex 6.<PRESS RELOAD BUTTON> Actual Results: Same old text, 'foo'. Expected Results: New text, 'bar'. Additional info:
Forwarded to gnome bugzilla bug #93156
This is fixed upstream. It's not clear to me what the problem was. Quite a bit of code changed between then and now, so I really see a need to back port it. Ulrich, if you really want this feature I can build you an unofficial newer version.
It would be good to get working code (I need it for RH work). This way I can also verify it's truly fixed. From what I've read in the Gnome bugzilla entry this is all but clear.