1 files changed, 5 insertions, 5 deletions

diff --git a/subprojects/frontend/src/xtext/xtextMessages.ts b/subprojects/frontend/src/xtext/xtextMessages.ts
index c4305fcf..4bf49c17 100644
--- a/subprojects/frontend/src/xtext/xtextMessages.ts
+++ b/subprojects/frontend/src/xtext/xtextMessages.ts
@@ -1,14 +1,14 @@
 import { z } from 'zod';
 
 export const xtextWebRequest = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   request: z.unknown(),
 });
 
 export type XtextWebRequest = z.infer<typeof xtextWebRequest>;
 
 export const xtextWebOkResponse = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   response: z.unknown(),
 });
 
@@ -19,7 +19,7 @@ export const xtextWebErrorKind = z.enum(['request', 'server']);
 export type XtextWebErrorKind = z.infer<typeof xtextWebErrorKind>;
 
 export const xtextWebErrorResponse = z.object({
-  id: z.string().nonempty(),
+  id: z.string().min(1),
   error: xtextWebErrorKind,
   message: z.string(),
 });
@@ -31,8 +31,8 @@ export const xtextWebPushService = z.enum(['highlight', 'validate']);
 export type XtextWebPushService = z.infer<typeof xtextWebPushService>;
 
 export const xtextWebPushMessage = z.object({
-  resource: z.string().nonempty(),
-  stateId: z.string().nonempty(),
+  resource: z.string().min(1),
+  stateId: z.string().min(1),
   service: xtextWebPushService,
   push: z.unknown(),
 });