No cross file undo (when file name changes?)

[jrieken]

re #91248

• open java-8 dev container
• in AppTest.java add a reference to App
• open both files side by side, reload
• rename App to App3
• undo
• 🐛 only one editor is undone, no message, no x-file undo

[alexdima]

@jrieken I am seeing a notification when undoing. This seems to be the same case as #91379 or is perhaps a duplicate of #77190 , since the rename is not limited to textual changes, it also includes a file rename:

I am sorry I should have probably specified better what is implemented. We now support cross-file undo of textual edits if the text buffers have not been disposed in the meantime. I did not implement undo for file edits, that still needs to be implemented.

I suggest to continue tracking in #77190