AndrewRH
I renamed a local file in the left screen. That worked. I even checked in Windows explorer. It was renamed. All well and good so far.
Then I changed my mind (oh dear!) and decided to call that file something else completely.
I pressed F2 with the renamed file highlighted.
The highlighted name changed to the original (pre-renamed) filename.
Ignoring that, I renamed it again anyway.
Sadly, that didn't work - an error said the file didn't exist (I assumed a file with the pre-renamed name):
Error renaming file or folder
Cannot rename file: Cannot read from the source file or disk
Sometimes, pressing the recycle/refresh icon worked around the problem - after pressing it, I could rename the file again.
~Andrew~
Then I changed my mind (oh dear!) and decided to call that file something else completely.
I pressed F2 with the renamed file highlighted.
The highlighted name changed to the original (pre-renamed) filename.
Ignoring that, I renamed it again anyway.
Sadly, that didn't work - an error said the file didn't exist (I assumed a file with the pre-renamed name):
Error renaming file or folder
Cannot rename file: Cannot read from the source file or disk
Sometimes, pressing the recycle/refresh icon worked around the problem - after pressing it, I could rename the file again.
~Andrew~