wip: undo properly remove messages from UI

packages/sdk/src/resources/event.ts

@@ -17,23 +17,36 @@ export class Event extends APIResource {
 }
 
 export type EventListResponse =
-  | EventListResponse.EventLspClientDiagnostics
-  | EventListResponse.EventPermissionUpdated
-  | EventListResponse.EventFileEdited
   | EventListResponse.EventInstallationUpdated
+  | EventListResponse.EventLspClientDiagnostics
   | EventListResponse.EventMessageUpdated
   | EventListResponse.EventMessageRemoved
   | EventListResponse.EventMessagePartUpdated
   | EventListResponse.EventMessagePartRemoved
   | EventListResponse.EventStorageWrite
+  | EventListResponse.EventPermissionUpdated
+  | EventListResponse.EventFileEdited
   | EventListResponse.EventSessionUpdated
   | EventListResponse.EventSessionDeleted
   | EventListResponse.EventSessionIdle
   | EventListResponse.EventSessionError
+  | EventListResponse.EventServerConnected
   | EventListResponse.EventFileWatcherUpdated
   | EventListResponse.EventIdeInstalled;
 
 export namespace EventListResponse {
+  export interface EventInstallationUpdated {
+    properties: EventInstallationUpdated.Properties;
+
+    type: 'installation.updated';
+  }
+
+  export namespace EventInstallationUpdated {
+    export interface Properties {
+      version: string;
+    }
+  }
+
   export interface EventLspClientDiagnostics {
     properties: EventLspClientDiagnostics.Properties;
 
@@ -48,56 +61,6 @@ export namespace EventListResponse {
     }
   }
 
-  export interface EventPermissionUpdated {
-    properties: EventPermissionUpdated.Properties;
-
-    type: 'permission.updated';
-  }
-
-  export namespace EventPermissionUpdated {
-    export interface Properties {
-      id: string;
-
-      metadata: { [key: string]: unknown };
-
-      sessionID: string;
-
-      time: Properties.Time;
-
-      title: string;
-    }
-
-    export namespace Properties {
-      export interface Time {
-        created: number;
-      }
-    }
-  }
-
-  export interface EventFileEdited {
-    properties: EventFileEdited.Properties;
-
-    type: 'file.edited';
-  }
-
-  export namespace EventFileEdited {
-    export interface Properties {
-      file: string;
-    }
-  }
-
-  export interface EventInstallationUpdated {
-    properties: EventInstallationUpdated.Properties;
-
-    type: 'installation.updated';
-  }
-
-  export namespace EventInstallationUpdated {
-    export interface Properties {
-      version: string;
-    }
-  }
-
   export interface EventMessageUpdated {
     properties: EventMessageUpdated.Properties;
 
@@ -147,6 +110,8 @@ export namespace EventListResponse {
       messageID: string;
 
       partID: string;
+
+      sessionID: string;
     }
   }
 
@@ -164,6 +129,44 @@ export namespace EventListResponse {
     }
   }
 
+  export interface EventPermissionUpdated {
+    properties: EventPermissionUpdated.Properties;
+
+    type: 'permission.updated';
+  }
+
+  export namespace EventPermissionUpdated {
+    export interface Properties {
+      id: string;
+
+      metadata: { [key: string]: unknown };
+
+      sessionID: string;
+
+      time: Properties.Time;
+
+      title: string;
+    }
+
+    export namespace Properties {
+      export interface Time {
+        created: number;
+      }
+    }
+  }
+
+  export interface EventFileEdited {
+    properties: EventFileEdited.Properties;
+
+    type: 'file.edited';
+  }
+
+  export namespace EventFileEdited {
+    export interface Properties {
+      file: string;
+    }
+  }
+
   export interface EventSessionUpdated {
     properties: EventSessionUpdated.Properties;
 
@@ -226,6 +229,12 @@ export namespace EventListResponse {
     }
   }
 
+  export interface EventServerConnected {
+    properties: unknown;
+
+    type: 'server.connected';
+  }
+
   export interface EventFileWatcherUpdated {
     properties: EventFileWatcherUpdated.Properties;