Предположим, у меня есть папка, содержащая следующие файлы:
001.jpg 002.jpg 003.jpg 004.jpg 005.jpg
После удаления файла 002.jpg в программном обеспечении "Проводник Windows" программное обеспечение "Проводник Windows" автоматически переименует файлы следующим образом:
001.jpg 003.jpg => rename to 002.jpg 004.jpg => rename to 003.jpg 005.jpg => rename to 004.jpg
Есть ли такой Windows Explorer (или аналогичный файловый менеджер), который предлагал такие функции?