Pieter,

The Windows OS is also caching these days and it is terrible to see that in one Windows Explorer you see no icon for a file and in another window you see - for the same file - an icon in use. Or and old icon.

But regarding this problem; you can also refresh the designer by pressing Ctrl+0 (I believe this is documented)