diff --git a/web/coffee-welcome-page/src/browser/welcome-page-widget.tsx b/web/coffee-welcome-page/src/browser/welcome-page-widget.tsx index eff6a4ba..f4028558 100644 --- a/web/coffee-welcome-page/src/browser/welcome-page-widget.tsx +++ b/web/coffee-welcome-page/src/browser/welcome-page-widget.tsx @@ -231,6 +231,55 @@ export class WelcomePageWidget extends ReactWidget { )} +
+ For the model validation the project uses EMF validation via the Model Server and displays the results + in the GLSP editor, as well as the Theia problems view. The editor has live validation enabled, so the + model server will validate and display the markers on changes to the model. The validation rules are: +
++ The model comparison is done via the{' '} + + comparison-extension + {' '} + , which uses EMF Compare. The coffee-editor adds to the comparison extension and provides a git integration. + With this, the current file can be compared to its HEAD file. This can be achieved by right-clicking on the + ".notation" or ".coffee" file and selecting "Compare with HEAD..." , with the + latter opening the tree comparison and the right click on the ".notation" file the graphical + comparison. Note, that this requires the current workspace to be a Git repository with at least one commit + that contains the selected file. +
, + this.openDiagram + )} +