Module Quill_editor.EventSource

Sourcetype code_execution_status = [
  1. | `Success
  2. | `Error
]
Sourcetype code_execution_result = {
  1. output : string;
  2. error : string option;
  3. status : code_execution_status;
}
Sourcetype t =
  1. | Document_loaded of {
    1. path : string;
    2. document : Document.t;
    }
  2. | Document_load_failed of {
    1. path : string;
    2. error : string;
    }
  3. | Document_saved of {
    1. path : string;
    }
  4. | Document_save_failed of {
    1. path : string;
    2. error : string;
    }
  5. | Code_execution_completed of {
    1. block_id : int;
    2. result : code_execution_result;
    }
  6. | Clipboard_content_received of {
    1. text : string;
    }
  7. | Clipboard_operation_failed of {
    1. error : string;
    }