EditorInstanceLoadedEvent constructor

const EditorInstanceLoadedEvent({
  1. required String instanceId,
  2. required String paneId,
  3. required String documentId,
})

Implementation

const EditorInstanceLoadedEvent({
  required this.instanceId,
  required this.paneId,
  required this.documentId,
}) : super('loaded');