Abdelrazak Younes wrote:
Richard Heck wrote:
I saw the same problem Bennett did, by the way, on Linux. It occurred
to me that it might be another manifestation of the refresh() issue.
So I did the attached, and it works for me. Bennett?
Aha... well spotted. But this is not due to the refresh bug as Windows
was also affected. It simply means that those temporary files being
moved all other the place needed a refresh.
OK. I've committed that. I wonder if there are other times we need to
refresh....
rh
