diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2021-12-02 21:36:42 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
| commit | e78c236a8d28784370f192a3410693c456dc628f (patch) | |
| tree | 3898c5d140f7900a983d814cb9d29b7da9db9b09 /editor/actions | |
| parent | f30e3eeb06bb932e6735868d404926cc7a9cd8aa (diff) | |
Added comment in editor event loop
Diffstat (limited to 'editor/actions')
| -rwxr-xr-x | editor/actions/editor_actions.mli | 3 |
1 files changed, 2 insertions, 1 deletions
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 |