diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 21:59:50 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 21:59:50 +0200 |
commit | a2a4696fdbd6440269d576aeba7b25b2ea40d9bf (patch) | |
tree | 5cbdf981a51a09fbe162e7748555d213ca518ff4 /subprojects/frontend/src/xtext/xtextMessages.ts | |
parent | fix: avoid GLOP error message on stderr (diff) | |
download | refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.tar.gz refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.tar.zst refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.zip |
feat: connect model generator to UI
Diffstat (limited to 'subprojects/frontend/src/xtext/xtextMessages.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/xtextMessages.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/frontend/src/xtext/xtextMessages.ts b/subprojects/frontend/src/xtext/xtextMessages.ts index 971720e1..15831c5a 100644 --- a/subprojects/frontend/src/xtext/xtextMessages.ts +++ b/subprojects/frontend/src/xtext/xtextMessages.ts | |||
@@ -38,6 +38,7 @@ export const XtextWebPushService = z.enum([ | |||
38 | 'highlight', | 38 | 'highlight', |
39 | 'validate', | 39 | 'validate', |
40 | 'semantics', | 40 | 'semantics', |
41 | 'modelGeneration', | ||
41 | ]); | 42 | ]); |
42 | 43 | ||
43 | export type XtextWebPushService = z.infer<typeof XtextWebPushService>; | 44 | export type XtextWebPushService = z.infer<typeof XtextWebPushService>; |