diff options
Diffstat (limited to 'editor/actions/editor_actions.mli')
-rwxr-xr-x | editor/actions/editor_actions.mli | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/editor/actions/editor_actions.mli b/editor/actions/editor_actions.mli new file mode 100755 index 0000000..48d5676 --- /dev/null +++ b/editor/actions/editor_actions.mli @@ -0,0 +1,17 @@ +type t + +(** Create the elements to be declareds inside the panel *) +val build + : unit -> t + +(* Get the events triggered by the actions buttons *) +val get_event + : t -> State.event Note.event + +(* Finalize the creation, register the handler to state update, and return the dom elements. + + Raise an error if already completed. + +*) +val complete + : t -> State.t Note.event -> Brr.El.t list |