Suppose I have a folder that contain the following files:
001.jpg 002.jpg 003.jpg 004.jpg 005.jpg
After delete the file 002.jpg in a "Windows Explorer" software, the "Windows Explorer" software will automatically rename the files as follows:
001.jpg 003.jpg => rename to 002.jpg 004.jpg => rename to 003.jpg 005.jpg => rename to 004.jpg
Are there such "Windows Explorer" (or similar file manager) that offered such features?