Skip to content

Allow to distinguish between save and revert in editor callback#3488

Open
mx990 wants to merge 1 commit intoeclipse-xtext:mainfrom
mx990:editorCallbackRevert
Open

Allow to distinguish between save and revert in editor callback#3488
mx990 wants to merge 1 commit intoeclipse-xtext:mainfrom
mx990:editorCallbackRevert

Commits

Commits on Aug 18, 2025