Undo of rename Java file has no effect

[egamma]

Testing #107617

• Remote-Containers: Try a Sample
• Select Java
• Open AppTest.java
• Rename the file name of AppTest.java to AppTest2.java -> the class name is also changed to AppTest2
• undo -> the class name is changed back to AppTest but the file name is not renamed to AppTest.java

[alexdima]

@egamma

When you say:

Rename the file name of AppTest.java to AppTest2.java -> the class name is also changed to AppTest2

How do you rename the file name? Is there a code action that you do or do you do rename from the explorer?

AFAIK the file operations done from the explorer are not undoable (they don't push elements to the undo/redo service).

[egamma]

How do you rename the file name? Is there a code action that you do or do you do rename from the explorer?

The rename is done from the explorer and this triggers a refactoring.

[isidorn]

Closing as dup of #9390
This is a fair feature request which users want and that we can plan for.