In Explorer in Windows 7, if you select 9 or more files (but not all) and rename them, the selection is lost after the files are renamed. Is this intended, or a bug? This behavior does not show in XP. The same bug shows in Windows 10.
I'm surprised that I cannot find this mentioned anywhere.
Edit: When I posted the question, my pre-release version of W10 did not have the bug, but the release version does.