const EditorInstanceClosedEvent({ required this.instanceId, required this.paneId, }) : super('closed');