From e78c236a8d28784370f192a3410693c456dc628f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 2 Dec 2021 21:36:42 +0100 Subject: Added comment in editor event loop --- editor/actions/editor_actions.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'editor/actions') diff --git a/editor/actions/editor_actions.mli b/editor/actions/editor_actions.mli index a0a3c3b..65c10f3 100755 --- a/editor/actions/editor_actions.mli +++ b/editor/actions/editor_actions.mli @@ -8,7 +8,8 @@ val build val get_event : t -> State.event Note.event -(** Finalize the creation, register the handler to state update, and return the dom elements. +(** Finalize the creation, register the handler to state update, and return the + dom elements. Raise an error if already completed. *) val complete -- cgit v1.2.3