Windows Explorer dir refresh and change notifications

[Uri Simchoni]

Hi,

It seems that in Windows (at least Win7), if you have an explorer window
open on a directory, then propagation of changes depends on a working
change-notify mechanism.

I used to think you only need change-notify for the window to be
refreshed *automatically*, but it seems like even hitting F5 doesn't
show new files (for a varying time in the order of one minute), if
change notify doesn't work (as with the case of a FUSE file system
without change notify support).

Is anyone familiar with this? Is it an Explorer behavior or a redirector
behavior? Can anything be done short of fixing change-notification?

Thanks,
Uri.