aboutsummaryrefslogtreecommitdiff
path: root/editor/actions/editor_actions.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-06-02 21:11:20 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit8bb6631ea1c8f54071d09ced2d62a16d6319e6f6 (patch)
treec0fc7f5a86dd05202a481621c634172aa772e408 /editor/actions/editor_actions.mli
parent4ba4951e530cbdfb6fa7bee811456208a83ce1dd (diff)
Editor : Dynamically update the sidebar
Diffstat (limited to 'editor/actions/editor_actions.mli')
-rwxr-xr-xeditor/actions/editor_actions.mli17
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