From 8bb6631ea1c8f54071d09ced2d62a16d6319e6f6 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 2 Jun 2021 21:11:20 +0200 Subject: Editor : Dynamically update the sidebar --- editor/actions/editor_actions.mli | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 editor/actions/editor_actions.mli (limited to 'editor/actions/editor_actions.mli') 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 -- cgit v1.2.3