Merge pull request #53 from mdenet/feature/add-generate-button-to-xte…

…xt-editors Add a generate button to generated Xtext editors
mdenet · Jan 30, 2024 · 6d6644a · 6d6644a
2 parents 2035ec0 + feea43c
commit 6d6644a
Show file tree

Hide file tree

Showing 4 changed files with 322 additions and 243 deletions.
diff --git a/xtext/editorserver/Servlet.java b/xtext/editorserver/Servlet.java