aboutsummaryrefslogtreecommitdiff
path: root/editor/actions
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2021-12-02 21:36:42 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commite78c236a8d28784370f192a3410693c456dc628f (patch)
tree3898c5d140f7900a983d814cb9d29b7da9db9b09 /editor/actions
parentf30e3eeb06bb932e6735868d404926cc7a9cd8aa (diff)
Added comment in editor event loop
Diffstat (limited to 'editor/actions')
-rwxr-xr-xeditor/actions/editor_actions.mli3
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