Yes, in the end I had to do that as I found another problem, that
Windows would not allow me to create new files in the encrypted folder
either. Decrypting the whole folder solved the problem but I wonder what
could have caused it.
I uninstalled the Windows NTFS update that I suspected might be the problem
and installed MS's replacement for it that they have just released but it
made no difference to the problem.