const WindowRequestDocumentSetActiveEvent({ required this.documentId, required this.paneId, }) : super('requestDocumentSetActive');