Enable undo/redo operations on the Tree Editor

[agonzalezgaliana]

I'm coming from here.

The save operation was easy to implement since my widget implements NavigatableTreeEditorWidget and hence the Saveable interface.

I would expect to have a similar mechanism in my widget to implement the logic for undo/redo, However I could not find any reference to undo or redo on the @eclipse-emfcloud/theia-tree-editor module.

Kind regards

[lucas-koehler]

Hello @agonzalezgaliana,
thank you for raising this issue. As far as I know there is no comparable interface to Saveable for undo/redo to "just" implement but using the Theia common commands for undo/redo is the way to go. Of course the tree editor could provide basic undo and redo methods to facilitate registering such commands.
At the moment, we do not have the resources to implement this but are gladly accepting contributions :)